Jak podzielić stdout, aby przejść do kilku plików wyjściowych?

Powiedzmy, że mam polecenie, commandktóre wypisuje na standardowe wyjście ogromną liczbę linii:

line1
line2
.....
lineN

Chcę zapisać dane wyjściowe na dysku, ale nie jako pojedynczy plik, ale jako sekwencję plików, z których każdy ma 1000 wierszy standardowego wyjścia:

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

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

etc

Próbowałem google znaleźć odpowiedź, ale za każdym razem google kieruje mnie do teepolecenia, co w tej sytuacji jest bezużyteczne. Prawdopodobnie wpisuję nieprawidłowe zapytania.

Po zakończeniu zapisywania pliku zawsze można splitgo podzielić na części lub wiele plików na podstawie liczby wierszy.

split -l 1000 output_file

lub jeszcze lepiej po prostu spróbuj

command | split -l 1000 -

Spowoduje to podzielenie strumienia wyjściowego na pliki z każdym 1000 linii (domyślnie jest to 1000 linii bez opcji -l).

Poniższe polecenie zapewni dodatkową elastyczność w zakresie umieszczania lub wymuszania prefiksu nazwy pliku, który zostanie wygenerowany, gdy dane wyjściowe zostaną wygenerowane i podzielone w celu zapisania w pliku.

command | split -l 1000 - small-

Możesz użyć skryptu bash lines.bash

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

i użyj go jako:

cat long_file.txt | bash lines.bash

Jedyny problem, który zauważyłem, to *logowanie się long_file.txt(ktoś mógłby to naprawić).