bash - 将文件分成单独的文件，每个文件 10,000 行

Question

我有一个文件对于我正在使用的软件来说太大了，所以我想把它分成更小的部分。它是一个纯文本文件。我怎样才能把它切成单独的文件。例如:

• output1.txt 包含原始文件的前 10,000 行。
• output2.txt 包含原始文件的下 10,000 行。

• 等等

• 最后一个文件可能少于 10,000 行。

• 如果我想加入他们，我只需使用 cat output*.txt > joined.tex。

如何拆分文件？

Answer 1

使用 split

例如

split -l 10000 originalfile.txt