使用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'（零）充當標志，指示輸出應填充零而不是空格。 這僅適用於數字輸出格式。 僅當字段寬度大於要打印的值時，此標志才有效。