tengo el siguiente comando awk dentro de un bucle "for" en bash:Añadir ceros que lleva a awk variables
awk -v pdb="$pdb" 'BEGIN {file = 1; filename = pdb"_" file ".pdb"}
/ENDMDL/ {getline; file ++; filename = pdb"_" file ".pdb"}
{print $0 > filename}' < ${pdb}.pdb
Esto lee una serie de archivos con el nombre $ pdb.pdb y los divide en archivos llamada $ pdb_1.pdb, $ pdb_2.pdb, ..., $ pdb_21.pdb, etc. Sin embargo, me gustaría producir archivos con nombres como $ pdb_01.pdb, $ pdb_02.pdb, ..., $ pdb_21.pdb , es decir, para agregar ceros de relleno a la variable "archivo".
He intentado sin éxito usar printf de diferentes maneras. La ayuda sería muy apreciada.
¿sabes qué tan alto subirán los números? ¿Son 2 dígitos el máximo? –