人，因思则变。
如何实现字符串不足N位自动补零
文本中有如下一列：
1
2
3
4
……
100
我想把它输出为：
0001
0002
0003
0004
……
0100
就是不足4位的前面补0
awk '{printf("%04d\n",$0);}' filename
文本中有如下一列：
1
2
3
4
……
100
我想把它输出为：
0001
0002
0003
0004
……
0100
就是不足4位的前面补0
awk '{printf("%04d\n",$0);}' filename