Saya mencoba mengunduh beberapa .gz
file (bukan NB .tar.gz
) dari URL yang diberikan dan mendekompresnya untuk menimpa file yang ada, jika ada.
Untuk setiap unduhan individu, saya mencoba yang berikut:
curl -O $URL | gunzip -f
Namun, ini tidak bekerja seperti itu gagal dengan: gzip: stdin: unexpected end of file
. Saya menjalankan serangkaian perintah ini di dalam skrip bash shell.
Jika saya menumpahkan perintah menjadi dua langkah eksplisit, yaitu mengunduh file terlebih dahulu, dan kemudian mendekompres .gz
file, itu berhasil.
Mengapa versi perpipaan tidak berfungsi?
--compressed
, tetapi ini hanya berfungsi untuk respons terkompresi.
curl -O
benar - benar stream file ke output standar? Mungkin Anda memikirkannyawget -O-
?