shell 格式化输出

要求输出整形，整形位数为四位，不足四位，使用0补齐

seq 100 |awk '{printf("%05d\n",$0)}'

输出

00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013