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

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.

Comment chercher des paquets

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.

Tâches génériques

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

Enseignements RICM

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 [[1]]

ALM1

• XXX : des outils disponibles [[2]]

Enseignements 3I

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