No bash eu não sei como fazer isso. Eu preciso fazer um script bash. No stdin eu tenho o arquivo .srt de legendas neste formato:
num
HH:MM:SS,SSS --> HH:MM:SS,SSS
text line 1
text line 2
...
HH: MM: SS, SSS iniciam e terminam o título...
17.10.2013 / 22:08