Re: Gzipped .dvi files?

[Carey Evans <c.evans@clear.net.nz>]

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

[snip]

> 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
example)

    % 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 .