I actually was interested in finding out how to cope with
gunzip, I confess.
But at that point, zcat is even better!
You're right as far as Linux is concerned, but on other Unix
platforms, "zcat" and even "gunzip" may be missing. The most portable
way to decompress to a pipe is
gzip -dc <file>.ps.gz | ...
(where the -d is for "decompress" and -c for "to stdout").
Just wanted to share that bit of information because it took me some
time figuring it out ...
Best,
Stefan.
--
``I could probably subsist for a decade or more on the food energy
that I have thriftily wrapped around various parts of my body.''
-- Jeffrey Steingarten
______________________________________________________________________
C.E.R.T. Marbach (CQP Emergency Response Team)
http://www.ims.uni-stuttgart.de/~evert [EMAIL PROTECTED]
_______________________________________________
TeX-music mailing list
[EMAIL PROTECTED]
http://sunsite.dk/mailman/listinfo/tex-music
