Come dividere stdout per passare a più file di output?

Dì, ho un comando commandche stampa un numero enorme di righe su stdout:

line1
line2
.....
lineN

Voglio salvare l'output su disco, ma non come un singolo file, ma come una sequenza di file ciascuno con 1000 righe di stdout:

file0001.txt:
-------------
line1
....
line1000

file0002.txt:
-------------
line1001
....
line2000

etc

Ho provato a google la risposta, ma ogni volta che google mi indica di teecomandare, il che è inutile in questa situazione. Probabilmente sto inserendo domande sbagliate.

Una volta terminato il salvataggio del file, è possibile sempre splitil file in file o più file in base al numero di righe.

split -l 1000 output_file

o meglio ancora basta provare

command | split -l 1000 -

Questo dividerà il flusso di output in file con ogni 1000 righe (il valore predefinito è 1000 righe senza l'opzione -l).

Il comando seguente ti darà ulteriore flessibilità per mettere o imporre un prefisso al nome del file che verrà generato quando l'output viene generato e diviso per archiviare nel file.

command | split -l 1000 - small-

Puoi usare uno script bash lines.bash

#!/bin/bash
a=0
while IFS='' read -r line
do
  printf -v filename "%04d.txt" "$((a++/1000))"
  echo "$line" >> $filename
done

e usalo come:

cat long_file.txt | bash lines.bash

L'unico problema che ho notato è con l' *accesso long_file.txt(qualcuno potrebbe correggerlo).