ffmpeg
использует strfmttime()
для создания этих имен файлов. Вы можете использовать %Y-%m-%d_%H:%M:%S.%f
, чтобы получить столько точности, сколько позволяет ваша система. Обратите внимание на %f
в конце.
Обновление
Ваш пример будет:
ffmpeg -i mymp.mp3 -f segment -strftime 1 -segment_time 5 13_REG1_CHANNEL3_%Y-%m-%d_%H-%M-%S-%f.mp3