Bash:在数字字符串中格式化数字

Question

我是一个bash新手.我想数字1呼应x的n数字格式.例如,让我们考虑n=3:5应该变为005,13应该变为013,110应该保持110.

实现这一目标的一种方法是使用这种结构:

for i in $(seq 1 120)
do
   if [ "$i" -lt "10" ]
   then
      echo "00$i"
   elif [ "$i" -gt "99" ]
   then
      echo "$i"
   else
      echo "0$i"
   fi
done

但它非常难看,并且在改变n(位数)的值时实际上并不灵活.我宁愿有一个只用n数字格式化的函数？是否已经内置了功能？如果没有,你可以帮我创建这样的功能吗？

Answer 1

用途printf:

for i in {1..120} ; do
    printf '%03d\n' $i
done

• % 启动格式字符串
• d表示整数
• 3意味着长度= 3
• 0意味着零填充
• \n 是换行符