Dada uma data e hora em um formato que não é reconhecido por date, como posso datereconhecer a data e a hora?
Por exemplo:
$ 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
Existe --magic-option? Caso contrário, existe uma maneira mais elegante de resolver isso em vez de usar sedpara transformar a entrada em uma sequência de datas bem formada?