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のように、つまり、「ファイル」変数にパディングゼロを追加します。
さまざまな方法でprintfを使用してみましたが成功しませんでした。助けていただければ幸いです。