Re: Gzipped .dvi files?
> They are no pain in the ass, because you can quite easily do
> zcat <file>.dvi.gz /tmp/<file>.dvi
> and then point your favourite dvi viewer to this location.
One of the reasons I use zsh is because in this case, I type (for
% xdvi =(zcat fsstnd-1.2.dvi.gz)
which does the above automatically, and cleans up when xdvi exits.
Carey Evans http://home.clear.net.nz/pages/c.evans/
GNU GPL: "The Source will be with you... always."
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .