Разделение файла на отдельные файлы с 10 000 строк каждый

Question

У меня есть файл, который слишком велик для программного обеспечения, которое я использую, поэтому я хочу разрезать его на более мелкие части. Это простой текстовый файл. Как я могу разрезать его в отдельные файлы. Например:

• output1.txt содержит первые 10 000 строк исходного файла.
• output2.txt содержит следующие 10 000 строк исходного файла.

• т.д.

• Последний файл, вероятно, меньше, чем 10000 строк.

• Если бы я хотел присоединиться к ним, я бы просто использовал cat output*.txt > joined.tex.

Как можно разделить файл таким образом?

Answer 1

Использование split

Э.Г.

split -l 10000 originalfile.txt