Le mercredi 21 juin 2006 à 21:12 -0700, Richard Harke a écrit :
> I pulled the CVS version of Axiom. The README file in the top
> directory mentions Active DVI as a tool for reading dvi's but I didn't
> find anywhere, let alone in zips as stated. I did find the script showdvi
> which is just a front end to xdvi. But i find xdvi reaaly awful for more
> than a quick review of a file. (The magnifier seems to be the one really
> good feature, if you need to check out details of the fonts.)
> I found advi at INRIA and downloaded the package. No prepackaged
> version for Ubuntu.

It's packaged. See:
http://packages.ubuntu.com/cgi-bin/search_packages.pl?keywords=advi&searchon=names&subword=1&version=all&release=all

So you need to activate universe and multiverse in
your /etc/apt/sources.list. Attached is a sources.list sample for
Dapper. Do not forget to "sudo apt-get update" after changing this file.

To find a package which contain dvi in its name you can do (man
apt-cache):

apt-cache -n search dvi

Cheers,

Greg

> But it requires installing ocaml which wants a
> different version of gcc.
> Currently I have been running dvipdf and using kpdf.
> Is anyone using advi or are there any other good alternatives?
> Richard Harke
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
#### sources.list de racoon97 
#### Mis a jour les 01//06/2006 - Merci de me signaler quand un serveur ne 
repond plus.

#### INSTRUCTIONS D'UTILISATION ####

## Pour editer votre sources.list, taper sudo gedit /etc/apt/sources.list dans 
une console
## puis remplacer l'integralite de ce fichier par celui-ci.

#### DEPOTS OFFICIELS UBUNTU DAPPER ####

# Security
deb-src http://security.ubuntu.com/ubuntu dapper-security main restricted 
universe multiverse
deb http://security.ubuntu.com/ubuntu dapper-security main restricted universe 
multiverse
# Main
deb-src http://archive.ubuntu.com/ubuntu dapper main restricted universe 
multiverse
deb http://archive.ubuntu.com/ubuntu/ dapper main restricted universe multiverse
# Update
deb-src http://archive.ubuntu.com/ubuntu/ dapper-updates main restricted 
universe multiverse
deb http://archive.ubuntu.com/ubuntu/ dapper-updates main restricted universe 
multiverse

# Main
deb-src http://eu.archive.ubuntu.com/ubuntu dapper main restricted universe 
multiverse
deb http://eu.archive.ubuntu.com/ubuntu/ dapper main restricted universe 
multiverse
# Update
deb-src http://eu.archive.ubuntu.com/ubuntu/ dapper-updates main restricted 
universe multiverse
deb http://eu.archive.ubuntu.com/ubuntu/ dapper-updates main restricted 
universe multiverse


#Depot wine - "emulateur" windows
deb http://wine.budgetdedicated.com/apt dapper main


## Depot plf dapper
deb http://packages.freecontrib.org/ubuntu/plf/ dapper free non-free 

## depot du meilleur logiciel de gravure sous Linux : Bonfire
deb http://ketsugi.com/ubuntu/ dapper main
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to