awkでの桁数調整

bash とか使ってて、0埋めして表示桁数を調整したい場合の話。

たとえば、月を表す時に 5 ではなく、05 と表示させたいとき

before=5
after=`echo $before | awk '{printf "%02d", $1}'`
echo $after

結果
05

となる。