unix - 使用 awk 在列中填充前导零

Question

我想在第一列上用“0”留下垫子说(宽度 14)
输入文件17: gdgdgd117: 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

见 here

A leading ‘0’ (zero) acts as a flag that indicates that output should be padded with zeros instead of spaces. This applies only to the numeric output formats. This flag only has an effect when the field width is wider than the value to print.