Добавить начальные нули в переменную awk

У меня есть следующая команда awk в цикле "for" в bash:

awk -v pdb="$pdb" 'BEGIN {file = 1; filename = pdb"_" file ".pdb"}
 /ENDMDL/ {getline; file ++; filename = pdb"_" file ".pdb"}
 {print $0 > filename}' < ${pdb}.pdb 

Она читает серию файлов с именем $ pdb .pdb и разбивает их на файлы с именами $ pdb_1.pdb, $ pdb_2.pdb, ..., $ pdb_21.pdb и т.д. Однако я хотел бы создавать файлы с такими именами, как $ pdb_01.pdb, $ pdb_02.pdb, ..., $ pdb_21.pdb, т.е. для добавления нулей заполнения к переменной "файл".

Я безуспешно пытался использовать printf разными способами. Помощь будет очень признательна.

18
задан mirix 24 August 2011 в 20:48
поделиться