Re: Gzipped .dvi files?
-----BEGIN PGP SIGNED MESSAGE-----
On Thu, 29 Jan 1998 Marcus.Brinkmann@ruhr-uni-bochum.de wrote:
> No. All documentation, that is not short, has to
> be gzipped. This is requested by policy and was discussed often and
> thoroughly (sp?). dvi files tend to be rather long, and not everyone needs
> them. They are no pain in the ass, because you can quite easily do
>
> zcat <file>.dvi.gz /tmp/<file>.dvi
>
> and then point your favourite dvi viewer to this location.
[...]
> If you have time to volunteer, try to fix the dvi viewer's to accept
> gzipped files - start with dvisvga, it is my favourite one ;)
The easiest way that I have found to do this under a libc5 system is
to install zlibc, the latest version being 0.9f. I couldn't find a .deb
for it, but it wouldn't be very hard for me to build one if anyone thinks
it would be worth it (I'd probably need some help getting the policy stuff
straight, so I'd be bugging you again...)
In any case, once it's been installed, you simply pretend that the .gz
extension doesn't exist when passing arguments to xdvi or whatever. I
don't use dvisvga, but I do know that neither xdvi nor gv are bothered by
.gz files with zlibc installed.
Incidentally, I couldn't find anything in the documentation on this...
What's the etiquitte for replies sent to the list in terms of what should
go into "To" or "Cc" fields? Should the individual names be stripped, and
just the debian-devel address left (those people are going to get two
copies, after all...), or more like I have left it (by automated
reply-to-all)?
=============================================================================
Zed Pobre <zcp@po.cwru.edu> | PGP key on servers, fingerprint on finger
=============================================================================
-----BEGIN PGP SIGNATURE-----
Version: 2.6.2
Charset: noconv
iQCVAwUBNNC3vGbpC/EUvSeLAQH5LgP/fY/PBRdnGBlH0EII5AJiGePtwV3iH0U7
F2h2y2F+NagV1/KRmEGZXQV4bXCYnPlChnLFBgZmwnj3nhdZIh4Ktoa+0e4Xf7Jj
XJnLHs+Z5q6jbMo1a3aP+f7CM7h3Bd2ZOpbqsWPEBZpO2rHqPDKum08oEzE66D8e
dbWSwd0giJQ=
=q0oi
-----END PGP SIGNATURE-----
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: