ゼロパディングの方法
固定桁数にするために、数値をゼロ埋めする方法です。
printf を使用して、コマンドラインでゼロパディング
# 入力データ
$ cat input.txt 3 200 70 1234 0
# 実行結果
$ cat input.txt | while read line; do printf "%04d\n" $line; done 0003 0200 0070 1234 0000
ゼロパディングの正規表現 Read more about ゼロパディングの方法