date
Wie kann ich bei einem Datum und einer Uhrzeit in einem Format, das nicht von erkannt wird , date
Datum und Uhrzeit erkennen?
Beispielsweise:
$ date -d "09SEP2012:23:58:46"
date: invalid date `09SEP2012:23:58:46'
$ date -d "09SEP2012:23:58:46" --magic-option "ddMMMYYY:hh:mm:ss"
Sun Sep 9 23:58:46 MDT 2012
Gibt --magic-option
es Wenn nicht, gibt es eine elegantere Möglichkeit, dies zu lösen, als sed
die Eingabe in eine wohlgeformte Datumszeichenfolge umzuwandeln?