使用awk填充列中的前导零

Question

我想在第一栏上留下垫子“0”，说（宽度14）

input.txt中
17: gdgdgd
117: aa

需要输出如下
00000000000017：gdgdgd
00000000000117：aa

我试过awk -F: '{ printf "%14i: %s\\n", $1,$2 }' input.txt但是它正在工作

填充超过%09i九不起作用

Answer 1

尝试

awk -F: '{ printf "%014i: %s\n", $1,$2 }' input.txt

看到这里

前导'0'（零）充当标志，指示输出应填充零而不是空格。 这仅适用于数字输出格式。 仅当字段宽度大于要打印的值时，此标志才有效。