Originariamente inviato da JackBabylon
Salve a tutti, ragassuoli avrei un problemino mi arriva un file di circa 100.000 righe e vorrei dividerlo in 4 file da 25000. Sapreste indicarmi la direzione?

Grazias
tail + head potrebbe fare al caso tuo
codice:
cat file.txt | head -n 25000 > parte_1.txt
cat file.txt | head -n 50000 | tail -n 25000 > parte_2.txt
cat file.txt | head -n 75000 | tail -n 25000 > parte_3.txt
cat file.txt | tail -n 25000 > parte_4.txt