Damon Muller <[EMAIL PROTECTED]> writes: DM> While I'm at it, is there any way to view a compressed dvi file without DM> having to decompress it? I have not had any luck with gunzip blah.dvi.gz DM> | xdvi (it just pops up xdvi's open dialog box). I presume there is some DM> way to do it, but I can't for the life of me work it out.
gunzip normally decompresses a file to another file; nothing is printed on standard output. The correct incant is probably something closer to 'gunzip -c file.dvi.gz | xdvi -', but I'm not sure if xdvi can read from standard input or not. (I suspect it doesn't.) More useful, I've found, is Debian's 'see' command, which feeds a file through appropriate filters and viewers based on its MIME type to be able to see it. It's in the mime-support package on my potato box; I'd run 'see foo.dvi.gz' to be able to view a gzipped DVI file. DM> DM> Cheers, DM> DM> damon DM> -- DM> Damon Muller ([EMAIL PROTECTED]) / It's not a sense of humor. DM> * Criminologist / It's a sense of irony DM> * Webmeister / disguised as one. DM> * Linux Geek / - Bruce Sterling DM> DM> DM> -- DM> Unsubscribe? mail -s unsubscribe [EMAIL PROTECTED] < /dev/null DM> DM> DM> -- David Maze [EMAIL PROTECTED] http://donut.mit.edu/dmaze/ "Theoretical politics is interesting. Politicking should be illegal." -- Abra Mitchell
