可以使用awk命令处理
如:
echo 1245| awk '{printf("%06d\n",$0)}'