have you tried
gunzip -c your_file | texi2dvi | lpr
The -c switch sends the gzip output to stdout. Not sure if texi2dvi can be
used as a filter (i haven't used it) - you may need
gunzip -c your_file | texi2dvi - | lpr
hth
charles
On Sat, 3 Feb 2001, John P. Verel wrote:
> I want to create printed output of info pages. I note in the info pages
> for doing this that one can simply run texi2dvi and pipe to lpr. The
> problem is that all my texi files are zipped. ( I'm running RH7) Is
> there a way to pipe these zipped files to texi2dvi without having to
> create a temp directory to hold the whole pile of dvi files unzipped?
_______________________________________________
Redhat-list mailing list
[EMAIL PROTECTED]
https://listman.redhat.com/mailman/listinfo/redhat-list
