У меня есть некоторые файлы, которые имеют неправильные время и дату, но имя файла содержит правильные время и дату, и я пытаюсь написать скрипт, чтобы исправить это с помощью сенсорной команды.
Пример имени файла: 071212_090537.jpg
Я хотел бы, чтобы это было преобразовано в следующий формат: 1712120905.37
Обратите внимание, год указан в имени файла как 07, даже если это 17, поэтому я хотел бы первый 0быть измененным на 1.
Как я могу сделать это, используя awk или sed?
Я совершенно новичок в awk и sed, программировании в целом.Попытка найти решение и инструкцию, но не удалось выяснить, как решить эту проблему.
Кто-нибудь может мне помочь?
Спасибо.:)