#4 Handle a gz-encoded file retrieved by HTTP

[Stéphane Aulery]

Forwarded form https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=212022#5

I open this feature request so you do not forget to implement it or maybe you decide not to implement it:

[1] netrik is able to open o local file compressed with gzip (or bzip2), but
cannot handle a gz-encoded file retrieved by HTTP. It should be able to,
and send according Accept-Encoding header.

[2] i've discussed it with the upstream author, here's his reply:

Well, this isn't as simple as it sounds, for two reasons:
- for local files, we can just invoke zcat or bzcat by the already
existing popen() mechanism (which was originally creating for
using
wget); for filtering a remote file, we would either have to use a
considerably more complicated invocation of gunzip, or link zlib.
- netrik doesn't have any MIME handling at all yet, so detecting a
compressed file wouldn't be trivial

It can be impelemnted nevertheless of course, if someone volunteers to
do it. (Just as the original gzip handling was contributed by an
external volunteer.) This would be especially worthy if it's done
"properly", i.e. with generic MIME handling.