[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Gzipped .dvi files?

Marcus.Brinkmann@ruhr-uni-bochum.de writes:


> 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
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to: