Linux Packages

Cette page recense les logiciels et les paquets nécessaires pour les cours à Polytech. N'hésitez pas à signaler les manques et les erreurs sur cette page. Précisez bien à chaque fois votre distribution (Debian/Ubuntu) ainsi que sa version.

Les noms de paquets sont à gauche des ":" avec les conventions suivantes :
 * paquet : paquet valable pour Debian et Ubuntu, toutes versions (raisonnables)
 * paquet/debian : paquet valable pour Debian
 * paquet/debian/wheezy : paquet valable pour la distribution Debian Wheezy
 * paquet/ubuntu : paquet valable pour Ubuntu
 * XXX : le paquet n'existe pas, le logiciel doit être installé manuellement
 * XXX : le paquet n'existe pas, le logiciel doit être installé manuellement

Dans la mesure du possible, pour profiter d'une intégration maximale de vos logiciels entre eux, des mises à jour, des corrections des sécurités, etc., préférez installer les logiciels à partir des paquets de votre distribution. Évidemment, il y a des exceptions à cette règle : logiciel non packagé, besoin impératif d'une version plus récentes que celle packagée, etc.

Recherche
Recherche de paquets par mots clés dans leur description

sudo apt-get update apt-cache search motclé1 motclé2

Recherche de paquets par nom de fichier

sudo apt-file update apt-file search nom_de_fichier

Visualisation de la description d'un paquet

apt-cache show nom_de_paquet

Bibliothèques
Quand vous avez besoin d'une bibliothèque pour de la programmation, c'est souvent du paquet dont le nom fini par -dev que vous avez besoin.

Programmation

 * emacs23 : éditeur de programmes (indentation automatique, coloration syntaxique, etc.)
 * build-essential : les outils de base (gcc, make, etc.)
 * g++ : compilateur C++

=== Outils


 * gdb ddd valgrind : outils pour le déboggage de programmes
 * subversion git gitk git-gui git-svn : outils de gestion de contrôle de version

AOO (programmation object en Java)

 * openjdk-7-jdk : Jdk1.7
 * openjdk-7-doc : la documentation du JDK (peut aussi être consultée en ligne)
 * eclipse : environnement de développement pour Java, aussi utilisable pour d'autres langages
 * javacc javacc-doc : un générateur de parser avec sa doc
 * XXX : plugin éclipse pour javacc
 * XXX : EUML2 si une version gratuite est sortie pour Éclipse

OCaml

 * ocaml-core : la base d'OCaml
 * liblablgl-ocaml-dev : pour de développement d'applications graphiques
 * emacs23 : un éditeur de programmation
 * tuareg-mode : un mode OCaml pour Emacs

Réseau

 * wireshark : analyseur de trames réseaux
 * libreadline-dev : une bibliothèque nécessaire pour :
 * XXX : des outils maisons à retrouver [|ici]

ALM1

 * XXX : des outils disponibles [|ici]

Enseignements 3I

 * libx11-dev : bibliothèque de développeement X11