Re: [TCLUG:20364] slick way to read .dvi.gz

[Philip C Mendelsohn <mend0070@tc.umn.edu>]

On Sat, 12 Aug 2000, Mike Hicks wrote:

> I wouldn't really recommend using named pipes, as many programs these
> days will only read from `regular' files.  However, you can just create
> a regular file to dump a dvi file into, then run xdvi on it.  A simple
> example of this would be something like (the `$$' is a variable
> representing the process ID of the script):
> 
> #!/bin/sh
> gunzip -c $1 > /tmp/tmp.$$
> xdvi /tmp/tmp.$$
> rm -f /tmp/tmp.$$
> 
> HTH

I had come to the conclusion that a little scriptware was in order.  
Thanks for confiming it and doing it in about 40% of the keystrokes I
woulda prob'ly used!

Cheers,
Phil M

-- 
Lottery:    a tax on people who are bad at math