bashでゼロ埋め・スペース埋め(パディング)をする

bashで出力する数字や文字列のゼロ埋め・スペース埋めをする場合、printfを用いて以下のようにすると良いだろう。

printf "'%07d'\n" 1234 # ゼロ埋め
printf "'%7d'\n" 1234  # スペース埋め
printf "'%-7d'\n" 1234 # スペース埋め(左寄り)

blacknon@BS-PUB-DEVELOP:~$ printf "'%07d'\n" 1234
'0001234'
blacknon@BS-PUB-DEVELOP:~$ printf "'%7d'\n" 1234
'   1234'
blacknon@BS-PUB-DEVELOP:~$ printf "'%-7d'\n" 1234
'1234   '