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
- vim ou emacs : éditeur de programmes (indentation automatique, coloration syntaxique, etc.)
- build-essential : les outils de base (gcc, make, etc.)
- g++ : compilateur C++
- manpages-fr-dev : Documentation pour les appels systèmes
- kgdb, ddd, valgrind : Outils de déverminage
- eclipse, eclipse-cdt, eclipse-egit : Outils de développement
- git, gitk, git-gui, tig, git-extras : Outils collaboratifs de gestion de versions
Réseau
- wireshark : Analyseur de trames réseaux
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
- ocaml-native-compilers : compilateurs optimisés (code natif)
- ocaml-findlib : gestionnaire de bibliothèques
- liblablgl-ocaml-dev : pour de développement d'applications graphiques
- emacs : un éditeur de programmation
- tuareg-mode : un mode OCaml pour Emacs
Réseau
- libreadline-dev : une bibliothèque nécessaire pour :
- XXX : des outils maisons à retrouver ici
- Socklab : Outil pour les TP sur les sockets réseaux
- GNS3 : Simulateur de réseaux
ALM1
- XXX : des outils disponibles [[1]]
Enseignements 3I
- libx11-dev : bibliothèque de développeement X11
Enseignements TIS
APO
- Eclipse/Netbeans : Développement Java
Réseaux
- Voir la section réseaux en RICM.
Applications médicales
- Debian Med - Dans les packages med-* (med-tasks pour tout)