Re: Compressed docs and man pages in Debian packages
>
> 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 (tgakem@chem.tue.nl) | 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
debian-user-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: