I am trying to download some .gz files (N.B. not .tar.gz ones) from given URLs and decompress them to overwrite existing files, if any.
For each individual download, I tried the following:
curl -O $URL | gunzip -f
However, this did not work as it failed with: gzip: stdin: unexpected end of file. I ran a series of this command inside a bash shell script.
If I spilt the command into two explicit steps, i.e. first download the file, and then decompress the .gz file, it works.
Why the piped version does not work?