Есть скрипт, который запускает некую утилитку с параметром номера в конце имени файла, вот так примерно:

for ((i=1; i<=100;i++)) ; do ./util -d $i; done

Но файлы у меня называются ХХХ001, ХХХ002, ..., ХХХ045, ..., ХХХ100. Поэтому программа пишет что файл не найден, т.к. файл не «1» а «001».

Как сделать в bash, чтобы выводилось 001, 002, и т.д.?

Надо вставить символ в строку текстового поля. sed это может? awk? Файл такой 091216 073601   60490.11\n 091216 073801   60490.22\n 091216 074001   60490.21\n 091216 074201   60488.77\n ... Нужно в первом столбце сделать результат таким 2009.12.16 07:36:01   60490.11\n 2009.12.16 07:38:01   60490.22\n 2009.12.16 07:40:01   60490.21\n 2009.12.16 07:42:01   60488.77\n Или только python справится? (perl не предлагать)