我在bash中的“for”循环内有以下awk命令:
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的文件,即向“file”变量添加填充零。
我尝试过使用printf以不同的方式进行格式化,但都没有成功。非常感谢您的帮助。