Installation VLE Debian

Pour les utilisateurs de Debian GNU/Linux, nous proposons, pour l'utilisation des versions stables de l'environnement VLE, des paquets pour i386 sur ce même serveur.

Pour pouvoir ajouter les paquets VLE facilement, modifier le fichier /etc/apt/sources.list suivant votre distribution :

deb http://vle.univ-littoral.fr/debian/ etch main deb-src http://vle.univ-littoral.fr/debian/ etch main
 * Debian GNU/Linux Etch (alias 'stable'), ajouter les lignes :

deb http://vle.univ-littoral.fr/debian/ lenny main deb-src http://vle.univ-littoral.fr/debian/ lenny main
 * Debian GNU/Linux Lenny (alias 'testing'), ajouter les lignes :

deb http://vle.univ-littoral.fr/debian/ sid main deb-src http://vle.univ-littoral.fr/debian sid main
 * Debian GNU/Linux Sid (alias 'sid'), ajouter les lignes

Pour installer tous les paquets : apt-get install vle vle-doc vle-stream-plugin

Les paquets sont :
 * vle : les exécutables de VLE
 * libvle-0.5-doc : la documentation des VFL.
 * vle-stream-plugin : les greffons de sorties (formats texte, rdata, etc.).
 * libvledata0 :
 * libvledata-dev :
 * libvle-dev :
 * libvledevs0 :
 * libvledevs-dev</tt> :
 * libvleextension0</tt> :
 * libvleextension-dev</tt> :
 * libvlegeometry0</tt> :
 * libvlegeometry-dev</tt> :
 * libvlegraph0</tt> :
 * libvlegraph-dev</tt> :
 * libvlemanager0</tt> :
 * libvlemanager-dev</tt> :
 * libvleoov0</tt> :
 * libvleoov-dev</tt> :
 * libvletranslator0</tt> :
 * libvletranslator-dev</tt> :
 * libvleutils0</tt> :
 * libvleutils-dev</tt> :
 * libvlevalue0</tt> :
 * <tt>libvlevalue-dev</tt> :
 * <tt>libvlevpz0</tt> :
 * <tt>libvlevpz-dev</tt> :

Ajouter les clés : wget http://vle.univ-littoral.fr/debian-vle-keyring.gpg sudo apt-key debian-vle-keyring.gpg

Si vous découvrez une erreur de dépendances, merci de prévenir [mailto:quesnel@users.sourceforge.net le mainteneur] de ces paquets.