Ich habe eine große (nach Anzahl der Zeilen) Nur-Text-Datei, die ich in kleinere Dateien aufteilen möchte, auch nach Anzahl der Zeilen. Wenn meine Datei ungefähr 2 Millionen Zeilen enthält, möchte ich sie in 10 Dateien mit 200.000 Zeilen oder 100 Dateien mit 20.000 Zeilen aufteilen (plus eine Datei mit dem Rest; gleichmäßig teilbar zu sein spielt keine Rolle).
Ich könnte dies in Python ziemlich einfach tun, aber ich frage mich, ob es irgendeine Ninja-Möglichkeit gibt, dies mit Bash- und Unix-Utils zu tun (im Gegensatz zum manuellen Schleifen und Zählen / Partitionieren von Zeilen).
cat part* > original