srt-renumber (109B)
1 #!/bin/awk -f 2 3 # renumbers an SRT file 4 5 BEGIN { count = 1 } 6 7 !/^[0-9]+$/ { 8 print 9 next 10 } 11 12 { print count++ }