bash - Shell：将带有前面零的数字打印到变量？

Question

我想使用以下 C 格式在 bash 脚本中打印数字：%05d。所以我有两个变量

$num1
$num2

例如，当我设置时，num1=12我希望有echo $num2equals to 00012。怎么做 ？

Answer 1

num1=12
printf -v num2 '%05d' "$num1"

请注意，这仅设置 num2 一次。如果希望 num2 始终反映 num1 的当前值，则需要将其定义为函数：

num2() { printf '%05d' "$num1"; }

...然后这样称呼它：

num2