Re: HTML gawk manual entirely on one page GZIP'ed -- Double ZIPPED

[Aharon Robbins]

Greetings. Re this:

> From: Felipe Alvarez <address@hidden>
> Date: Fri, 4 Mar 2011 14:25:03 +1000
> Subject: HTML gawk manual entirely on one page GZIP'ed -- Double ZIPPED
> To: address@hidden
>
> OS: Windows XP
> Browser: firefox 3.6.14
> gzip decompressor: 7-zip
>
> I'm right clicking, and 'saving as' the large gzipped HTML manual for
> gawk. I've found that it is double gzipped, such as
>
> $ ls
> gawk.html
> $ gzip gawk.html
> $ mv gawk.html.gz gawk.html
> $ gzip gawk.html
> $ ls
> gawk.html.gz
>
> Unpacking it requires two unzipping steps. Is this a problem on my end?
>
> Felipe

Most definitely a problem on your end. Windows loses the second extension
on the filename; although it's named gawk.html it is really gziped already.
You should download the file, rename it to gawk.html.gz and the gunzip it
directly.

Thanks,

Arnold