Mam duży (według liczby wierszy) zwykły plik tekstowy, który chciałbym podzielić na mniejsze pliki, również według liczby wierszy. Więc jeśli mój plik ma około 2 mln linii, chciałbym podzielić go na 10 plików zawierających 200 000 linii lub 100 plików zawierających 20 000 linii (plus jeden plik z resztą; bycie równo podzielne nie ma znaczenia).
Mogę to zrobić dość łatwo w Pythonie, ale zastanawiam się, czy istnieje jakiś sposób ninja, aby to zrobić za pomocą narzędzi bash i unix (w przeciwieństwie do ręcznego zapętlania i liczenia / dzielenia linii).
cat part* > original