Re: Mirror unpacks distfile before sending

2019-04-04 Thread Dave Allured - NOAA Affiliate via macports-users
On Thu, Apr 4, 2019 at 11:27 AM Bill Cole < macportsusers-20171...@billmail.scconsult.com> wrote: > On 4 Apr 2019, at 12:45, Dave Allured - NOAA Affiliate via > macports-users wrote: > > > On Wed, Apr 3, 2019 at 11:11 PM Mojca Miklavec > > wrote: > > > >> On Thu, 4 Apr 2019 at 06:34, wrote: >

Re: Mirror unpacks distfile before sending

2019-04-04 Thread Dave Allured - NOAA Affiliate via macports-users
On Thu, Apr 4, 2019 at 2:23 PM Ryan Schmidt wrote: > > On Apr 4, 2019, at 11:45, Dave Allured wrote: > > > That *is* relevant. My Mac is behind an institutional firewall, so this > might be aggravating the problem. Also I am not able to duplicate the > headers as Ryan showed using curl -I, not

Re: Mirror unpacks distfile before sending

2019-04-04 Thread Ryan Schmidt
On Apr 4, 2019, at 11:45, Dave Allured wrote: > That *is* relevant. My Mac is behind an institutional firewall, so this > might be aggravating the problem. Also I am not able to duplicate the > headers as Ryan showed using curl -I, not with the facebook.net URL. I will > ask our network

Re: Mirror unpacks distfile before sending

2019-04-04 Thread Bill Cole
On 4 Apr 2019, at 12:45, Dave Allured - NOAA Affiliate via macports-users wrote: On Wed, Apr 3, 2019 at 11:11 PM Mojca Miklavec wrote: On Thu, 4 Apr 2019 at 06:34, wrote: it's wierd. i'm seeing the same Content-Encoding header but curl doesn't un-gzip the download for me. neither

Re: Mirror unpacks distfile before sending

2019-04-04 Thread Chris Jones
It sounds like Raf and Mojca are reporting correct, compressed downloads from this site, and I am the only one so far that has actually reported incorrect, uncompressed downloads.  (I checked; my mac gets the same malfunction with all .tar.gz files from facebook.net ,

Re: Mirror unpacks distfile before sending

2019-04-04 Thread Dave Allured - NOAA Affiliate via macports-users
On Wed, Apr 3, 2019 at 11:11 PM Mojca Miklavec wrote: > On Thu, 4 Apr 2019 at 06:34, 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