Difference between revisions of "Linux Packages"
Line 78: | Line 78: | ||
* wireshark : analyseur de trames réseaux |
* wireshark : analyseur de trames réseaux |
||
* libreadline-dev : une bibliothèque nécessaire pour : |
* libreadline-dev : une bibliothèque nécessaire pour : |
||
− | * XXX : des outils maisons à retrouver |
+ | * XXX : des outils maisons à retrouver [http://imag-moodle.e.ujf-grenoble.fr/mod/folder/view.php?id=3368 ici] |
+ | * [http://socklab.forge.imag.fr/socklab.html Socklab] : Outil pour les TP sur les sockets réseaux |
||
=== ALM1 === |
=== ALM1 === |
Revision as of 09:31, 13 September 2013
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++
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
- 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
- Socklab : Outil pour les TP sur les sockets 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
- GNS3 : Simulateur de réseau
- wireshark : Analyseur de paquets réseaux