On Thu, 4 Apr 2019 at 06:34, <[email protected]> wrote: > > it's wierd. i'm seeing the same Content-Encoding header > but curl doesn't un-gzip the download for me. neither > /usr/bin/curl (7.43.0) nor /opt/local/bin/curl (7.64.1). > neither does wget. i wonder what the difference is.
Probably not relevant for this, but some time ago I also had the same issue of auto-extracting tarballs; I thought it was the firewall (some content / antivirus checking software there) as I only had this problem in my office; everywhere else it worked as expected. Mojca
