Re: TUTORIAL.gz

[Juri Linkov]

> I think the warning is a good alternative. It would be very good if this
> also could handle the case when there is no software available to handle
> the compression (as might be the case on w32) in other situations (than
> accessing tutorials etc).

The warning it currently gives on Debian GNU/Linux after removing gzip and
trying to open a compressed file looks like:

    Error while executing "gzip -c -q -d < filename.gz"
    /bin/sh: gzip: command not found

It seems it is already quite informative.

-- 
Juri Linkov
http://www.jurta.org/emacs/