Hi Ulrich,
> However, the file mom-2.2-a.tar.gz is NOT a gzipped tar file. It is just
> plain tar:
$ curl -sSI http://www.schaffter.ca/mom/mom-2.2-a.tar.gz
HTTP/1.1 200 OK
Date: Fri, 24 Nov 2017 17:04:19 GMT
Content-Type: application/x-tar
Content-Length: 544493
Connection: keep-alive
Server: Apache/2
Last-Modified: Fri, 24 Nov 2017 02:45:22 GMT
ETag: "84eed-55eb18b3ff480"
Accept-Ranges: bytes
Cache-Control: max-age=14400
Expires: Fri, 24 Nov 2017 18:58:11 GMT
Content-Encoding: x-gzip
Age: 7568
$
I used curl(1) and wget(1) to retrieve this URL. Both gave a 544,493 B
file that was gzip'd. gunzip-ing it gave a bigger tar file. Perhaps
your downloader is seeing the above Content-Encoding and trying to be
helpful by decompressing it for you, but not altering the saved file
name?
--
Cheers, Ralph.
https://plus.google.com/+RalphCorderoy
