Dotaz: BASH Konverze data

[Pavel]

Ahoj, mohl by mi prosim nekdo poradit, jak zkonvertovat ve skriptu datum?
Na vstupu mam datum ve formatu dd.mm.yyyy a potrebuji z toho udelat yyyy-mm-dd
Nejsem odbornik na awk, zkousel jsem na to jit pomoci awk -F[.-] '{print $3"-"$2"-"$1}' <<< $datum coz funguje dobre, akorat kdyz mam napr. na stupu datum 1.05.213, tak dostanu 2013-05- 1 (potreboval bych pred 1 doplnit nulu).
Diky za radu.

---

---

Odpovědi

[Kit]

V AWK můžeš použít printf()

Jako vždy se zeptám: Odkud to datum bereš a kde ho potřebuješ? Možná se AWK dá úplně vypustit drobnou úpravou producenta nebo konzumenta.

[Pavel]

Udaje nacitam z CSV souboru a nasledne to ukladam do MySQL do pole typu DATE. V DB to potrebuji mit ulozene prave ve formatu yyyy-mm-dd.
Diky

[Pavel]

Do DB se přece datum ukládá jako typ DATE. Přece nechceš být trapný jako tvůrci našich centrálních registrů pasů a občanek?

Jinak můžeš v MySQL využít funkci STR_TO_DATE(), která ten převod provede sama.

[Pavel]

Dik, nevedel jsem o te funkci STR_TO_DATE(), tak to prevedu pomoci ni :)

[Marek]

Můžeš sem prosím poslat odkaz na článek, kde se projevuje ta trapnost tvůrců toho registru? Rád bych se pobavil/přiučil.

[Kit]

Když někdo neumí od datumu 29.2.2012 odečíst jeden rok, tak nepotřebuji odkaz na článek, abych věděl, že ten, kdo to zvoral, neumí použít databázovou funkci, která to umí. Místo toho to chybně dělá ve skriptu, ve kterém dekrementuje rok a snaží se to převést na datum.