shell如何实现 数字 字符串自动补零 awk

shell对字符串进行处理，如果字符串长度不足5位，需要左边自动补0。

比如：123，自动补齐为00123

解决的方法有两种：

一种是shell的printf命令：

printf "05d\n" 123

另一种是使用awk：

echo 123 | awk '{printf("05d\n",$0)}'