On Mon, May 28, 2018 at 09:30:42AM +0200, Ján Tomko wrote:
On Sun, May 27, 2018 at 01:04:37PM +0200, thg wrote:
>Hi everybody,
>
>actually I wanted to search the list archive, before asking, but
>unfortunately I don't "get" it:
>
>$ gunzip 2018-May.txt.gz
>gunzip: 2018-May.txt.gz: not in gzip format
>
>It seems, that in every archive-file there is always one message in
>plaintext and then a big binary block.
>
>Any hint?
>
Try a different application to download the file.
Years ago wget did not work for me because of some Content-Encoding
problems, so I had to use Firefox.
(I don't remember whether the server sends incorrect headers or if
the handling in wget was broken, but it works for me now even with
wget)
IMHO there are two different gzip compressions applied, one for the file and one
for the transfer. If you have new enough wget, then downloading it with
--compression auto (experimental in 1.19.5) should create valid txt.gz files
that you can just gunzip [1] cleanly without errors.
Jano
Martin
[1] Usually when I think of some stupid joke (or maybe just stupidity in this
case) it already exists on the internet. But now either my google-fu is
weak with me or there is no picture of a gun with a zipper on it. So I
can't attach any Gun Zip picture :(