Bagaimana cara membagi stdout untuk menuju ke beberapa file output?

Katakanlah, saya memiliki perintah commandyang mencetak sejumlah besar baris ke stdout:

line1
line2
.....
lineN

Saya ingin menyimpan output ke disk, tetapi bukan sebagai file tunggal, tetapi sebagai urutan file masing-masing memiliki 1000 baris stdout:

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

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

etc

Saya sudah mencoba google jawabannya, tetapi setiap kali google menunjuk saya ke teeperintah, yang tidak berguna dalam situasi ini. Mungkin, saya memasukkan kueri yang salah.

Setelah Anda selesai menyimpan file, Anda selalu bisa splitfile menjadi potongan-potongan file atau beberapa file berdasarkan jumlah baris.

split -l 1000 output_file

atau bahkan lebih baik coba saja

command | split -l 1000 -

Ini akan membagi aliran output menjadi file dengan setiap 1000 baris (standarnya adalah 1000 baris tanpa opsi -l).

Perintah di bawah ini akan memberi Anda fleksibilitas tambahan untuk menempatkan atau menerapkan awalan ke nama file yang akan dihasilkan ketika output dihasilkan dan dipisahkan untuk menyimpan ke dalam file.

command | split -l 1000 - small-

Anda dapat menggunakan skrip bash lines.bash

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

dan gunakan sebagai:

cat long_file.txt | bash lines.bash

Satu-satunya masalah yang saya perhatikan adalah dengan *masuk long_file.txt(seseorang dapat memperbaikinya).