如何在文件中的每一行的开头添加数字？
例如。：
- This is
- the text
- from the file.
成为：
- 000000001 This is
- 000000002 the text
- 000000003 from the file.
AWK的printf，NR和$ 0使得对格式化的精确和灵活控制变得容易：
- ~ $ awk '{printf("%010d %s\n",NR,$0)}' example.txt
- 0000000001 This is
- 0000000002 the text
- 0000000003 from the file.
