У меня есть текстовый файл, содержащий примерно тысячу имен файлов, которые мне нужно немного изменить. Каждое имя файла представляет собой дату и время в формате:
2013-05-01 120125.jpg
Мне нужно преобразовать их все в:
2013-05-01 12.01.25.jpg
Я предполагаю, что это было бы довольно тривиально с регулярными выражениями, но я всегда сбит с толку, когда пытаюсь что-то с ними сделать! Помощь приветствуется!