https://www.cnblogs.com/wowchky/archive/2012/10/18/2729072.html
shell如何实现 数字 字符串自动补零 awk
shell对字符串进行处理,如果字符串长度不足5位,需要左边自动补0。
比如:123,自动补齐为00123
解决的方法有两种:
一种是shell的printf命令:
1 printf “%05d\n” 123
另一种是使用awk:
1 echo 123 | awk ‘{printf("%05d\n",$0)}’