Saya punya file teks biasa (dengan jumlah baris) yang besar yang ingin saya bagi menjadi file yang lebih kecil, juga dengan jumlah baris. Jadi jika file saya memiliki sekitar 2M baris, saya ingin membaginya menjadi 10 file yang berisi 200rb baris, atau 100 file yang berisi 20rb baris (ditambah satu file dengan sisanya; secara merata dapat dibagi tidak masalah).
Saya bisa melakukan ini dengan cukup mudah di Python tapi saya bertanya-tanya apakah ada cara ninja untuk melakukan hal ini menggunakan bash dan unix utils (yang bertentangan dengan pengulangan manual dan penghitungan / garis partisi).
cat part* > original