这是我输入的内容和得到的输出:
$ cat helloworld.txt
Hello World!
I'm Kanladaporn Sirithatthamrong
6480952
但这就是我想要的输出:
Hello World!
I'm Kanladaporn Sirithatthamrong
6480952
我该怎么办?有什么建议吗?
答案1
使用pr
:
$ pr -Td helloworld.txt
Hello World!
I'm Kanladaporn Sirithatthamrong
6480952
$
从man pr
:
-d, --double-space
double space the output
-T, --omit-pagination
omit page headers and trailers, eliminate any pagination by form feeds set in input files
答案2
答案3
将 awk 的输出记录分隔符更改为两个换行符,而不是默认的一个:
awk 'BEGIN { ORS = "\n\n"} { print }' helloworld.txt
答案4
awk '{print;print ""}' helloworld.txt