У меня есть набор строк даты / времени в формате ГГГГММДДЧЧММСС, которые я хочу преобразовать во что-нибудь читаемое утилитой date
.Обычно я могу сделать что-то вроде:
date -d "2010-10-01 12:34:56"
Однако date
не нравится YYYYMMDDHHMMSS:
date -d "20100101123456"
.. недопустимая дата
Итак, мне, вероятно, нужно уточнить строку в прежнем формате.Я думаю, что sed
- это ответ, но он становится очень уродливым.Я совершенно уверен, что мои строки будут в правильном формате, так как мне легко конвертировать их?