使用awk填充列中的前导零

Mar*_*jer 3 unix awk

我想在第一栏上留下垫子"0",说(宽度14)

input.txt中
17: gdgdgd
117: aa

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

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

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

Ash*_*kan 9

尝试

awk -F: '{ printf "%014i: %s\n", $1,$2 }' input.txt
Run Code Online (Sandbox Code Playgroud)

看到这里

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