J'ai un grand fichier texte (en nombre de lignes) que je voudrais diviser en fichiers plus petits, également en nombre de lignes. Donc, si mon fichier contient environ 2 millions de lignes, je voudrais le diviser en 10 fichiers qui contiennent 200 000 lignes ou 100 fichiers qui contiennent 20 000 lignes (plus un fichier avec le reste; être également divisible n'a pas d'importance).
Je pourrais le faire assez facilement en Python, mais je me demande s'il existe un moyen ninja de le faire en utilisant des utilitaires bash et unix (par opposition aux boucles et aux lignes de comptage / partitionnement manuelles).
cat part* > original