将大文件拆分为具有特定扩展名的小文件

Question

我想将一个大文件拆分成每个10000行的小文件。我知道我也可以这样做：

split --lines=10000

但是，上面的命令不会对分割文件进行扩展。我想给我的所有分割文件扩展名.txt是否可以在linux中使用split进行相同的操作。如果是，那怎么办？

还可以对文件进行编号，使第一个文件的名称为a1.txt。第二个文件的名称为a2.txt，依此类推。我知道split将文件的名称作为aa，ab等，但是我想用a1.txt，a2.txt，a3.txt，a4.txt，a5.txt，a6.txt，a7.txt替换它，等

Answer 1

使用-d参数，如：

split --lines=10000 -d <file>