Warning: file_get_contents(/data/phpspider/zhask/data//catemap/7/sqlite/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
如何根据awk中的位数添加零以打印?_Awk_Format - Fatal编程技术网

如何根据awk中的位数添加零以打印?

如何根据awk中的位数添加零以打印?,awk,format,Awk,Format,我有以下意见: 12 2 3 56 我想打印一个单词,第一列的数字由5个数字组成。请问如何在这个数字前加零 awk '{print "file"$1".ASC}' input > output 所需输出: file00012 file00002 file00003 file00056 使用:printf(“文件%05d.ASC”,$1)非常感谢 $ awk '{printf "file%05d\n", $1}' infile.txt file00012 file00002 file

我有以下意见:

12
2
3
56
我想打印一个单词,第一列的数字由5个数字组成。请问如何在这个数字前加零

awk '{print "file"$1".ASC}' input > output
所需输出:

file00012
file00002
file00003
file00056

使用:
printf(“文件%05d.ASC”,$1)
非常感谢
$ awk '{printf "file%05d\n", $1}' infile.txt 
file00012
file00002
file00003
file00056