Próbuję pobrać niektóre .gz
pliki (NB nie .tar.gz
te) z podanych adresów URL i rozpakować je, aby zastąpić istniejące pliki, jeśli takie istnieją.
Dla każdego pojedynczego pobrania próbowałem:
curl -O $URL | gunzip -f
Jednak to nie działa, ponieważ nie powiodło się: gzip: stdin: unexpected end of file
. Uruchomiłem serię tego polecenia w skrypcie powłoki bash.
Jeśli rozłożyłem polecenie na dwa wyraźne kroki, tj. Najpierw pobierz plik, a następnie rozpakuj .gz
plik, to działa.
Dlaczego wersja potokowa nie działa?
--compressed
, ale działa to tylko w przypadku skompresowanych odpowiedzi.
curl -O
plik jest przesyłany strumieniowo na standardowe wyjście? Być może myśliszwget -O-
?