Дату та час у форматі, який не розпізнається date, як я можу dateрозпізнати дату та час?
Наприклад:
$ 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
Чи --magic-optionіснує? Якщо ні, чи є більш елегантний спосіб вирішити це питання, а не використовувати sedдля перетворення вхідних даних у добре сформовану рядок дати?