Ho un grande file di testo semplice (per numero di righe) che vorrei dividere in file più piccoli, anche per numero di righe. Quindi, se il mio file ha circa 2 milioni di righe, vorrei dividerlo in 10 file che contengono 200.000 righe o 100 file che contengono 20.000 righe (più un file con il resto; essere uniformemente divisibili non ha importanza).
Potrei farlo abbastanza facilmente in Python ma mi chiedo se esiste un modo ninja di farlo usando utils bash e unix (al contrario del loop manuale e del conteggio / partizionamento delle linee).
cat part* > original