gunzip
パイプを使用してgzファイルを分割しましたsplit
。
time gunzip -c file.gz | split -l 500 -d -a 4 - pref_
次のファイルが生成されます。
pref_0000
pref_0001
このファイルをパイプして再圧縮したいです。私は以下を試しました:
gunzip -c file.gz | split -l 500 -d -a 4 - pref_ | echo "file produced:" -
# Nothing
gunzip -c file.gz | split -l 500 -d -a 4 - pref_ | echo -
gunzip -c file.gz | split -l 500 -d -a 4 - pref_ | echo
これはうまくいきません。分割コマンドの出力をどのように取得しますか?生成されたファイル名を取得したいです。
答え1
使用できる- フィルター各分割ファイルでsplit
呼び出されるオプションzip
gunzip -c file.gz | split -l 500 -d -a 4 - pref_ --filter='zip $FILE'