> > This script does not work if the filename has a directory appended. > Do you have a bug fix for this? > > I tend to agree with the original message that gzipped .dvi and > .html are not a great idea. > > > zxdvi: > > ------------------------------------------------------------------------ > > #!/bin/sh > > > > tmpname="/tmp/$1 unzipped"
Replace the line above with tmpname="/tmp/`basename $1` unzipped" (if you want to be able to view two dvi files with the same name, but in different directories, try tmpname="/tmp/`basename $1` unzipped $$" but this shows the pid of the script in the title bar of xdvi, which you may find ugly) > > gunzip -c $1 > "$tmpname" > > xdvi "$tmpname" > > rm "$tmpname" > > ------------------------------------------------------------------------ > > > > Put this in your personal bin directory (or /local/bin) and you're set. Maybe compressed html is troublesome because of the implications it has for links. But it would be a very sensible feature for xdvi to recognize compressed files, just like man does, or display from Image Magick. You're probably right that it's not a good policy to compress dvi files as long as they're not automatically recognized. Eric Meijer -- E.L. Meijer ([EMAIL PROTECTED]) | tel. office +31 40 2472189 Eindhoven Univ. of Technology | tel. lab. +31 40 2475032 Lab. for Catalysis and Inorg. Chem. (TAK) | tel. fax +31 40 2455054 -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .
