Re: Dired 7.5 bug: Grepping gzipped files problem
Adrian Phillips (adrian.phillips@dnmi.no)
Fri, 30 Sep 94 12:13:42 +0100
>>>>> "Andy" == Andy Norman <ange@hplb.hpl.hp.com> writes:
Andy> Adrian writes:
Andy> I've found that the following patch seems to work, although
Andy> I've sent a message to Jay asking him for a better way of
Andy> temporarily disabling jka-compr.
I would have though it was better to have the compression library
handle compression and dired handle dired, ie. instead of disabling
jka-compr, checking if there is a compression library loaded and not
doing zcat if that is the case. Don't ask me how you do that though
:-)
Adrian
--
-------------------------------------------------------------------------
= Adrian Phillips at | BUT any thoughts in this are purely =
= The Norwegian Meteorological | my own and have nothing to do with =
= Institute | this establishment, thankfully. =
= Net: adrian.phillips@dnmi.no | Phone: 47 22 96 32 09 Fax: 47 22 96 30 50