Ceci est une ancienne révision du document !
Table des matières
Configurations des salles
Pour cette année 2025/2026, l'UFR de Mathématique et Informatique disposera de 6 salles de TP au pôle API d'Illkirch :
- les salles J3, J5, C306 et C315 qui auront un double boot ⇒ Ubuntu avec login ENT et Windows 11 avec login ENT;
- la salle J4 qui aura un triple boot ⇒ Ubuntu avec login root, Ubuntu avec login ENT et Windows 11 avec login ENT;
- la salle J2 qui aura un triple boot ⇒ Ubuntu avec login root, Kali-Linux avec login root pour les TP de manipulation réseaux et Windows 11 avec login ENT.
La version d'Ubuntu envisagée pour l'année 2025/2026 est la 24.04 (nouvelle version par rapport à l'année précédente) et celle de Windows 11 est la 23H2 (OS différent par rapport à l'année précédente).
Vous trouverez ci-dessous une liste conséquente mais pas forcément exhaustive des logiciels installés sur ces salles, je n'ai pas forcément indiqué toutes les libraires présentes ou tous les paquets installés par exemple. Des logiciels peuvent également être temporairement installés par les étudiants en J2 et J4-ROOT, l'utilisateur 'info' utilisé dans ces salles ayant les droits root.
La salle I005 est administrée en collaboration avec TPS et dispose d'une configuration particulière : deux PC sont disponibles par étudiant, l'un avec un double boot Ubuntu avec login ENT et Windows 11 avec login ENT, l'autre avec un boot Ubuntu avec login root. Les tableaux ci-dessous ne s'appliquent pas à la I005.
Ubuntu
Logiciel | Description | Remarque | Salles | Par Ansible |
---|---|---|---|---|
IDE et éditeurs de texte | ||||
Android Studio | Toutes | Oui | ||
Anjuta | Toutes | Oui | ||
Arduino IDE | Toutes | Oui | ||
Atom | Toutes | Oui | ||
Codeblocks | Toutes | Oui | ||
CoqIDE | Toutes | Oui | ||
Eclipse | Toutes | Oui | ||
Emacs | Toutes | Oui | ||
Geany | Toutes | Oui | ||
Gedit | Toutes | Oui | ||
GVim | Toutes | Oui | ||
Joe's Own Editor | Toutes | Oui | ||
Kate | Toutes | Oui | ||
Kile | Toutes | Oui | ||
Komodo | Toutes | Oui | ||
Neovim | Toutes | Oui | ||
NEdit | Toutes | Oui | ||
Pycharm | Toutes | Oui (flatpak) | ||
QtCreator 5 | Toutes | Oui | ||
RStudio | Version : 2022.12.0-353 | Toutes | Oui | |
Spyder | Toutes | Oui | ||
SublimeText | Toutes | Oui | ||
Vim | Toutes | Oui | ||
Visual Studio Code | Toutes | Oui | ||
Dessin, calcul numérique, géometrie, imagerie, modélisation et schémas | ||||
Argo UML | logiciel libre de création de diagrammes UML | Toutes | Oui | |
Blender | Toutes | Oui | ||
Dia | logiciel de plan et schéma (UML,…) | Toutes | Oui | |
exiv2 | Manipulation de commentaires et métadonnées d'image | Toutes | Oui | |
Freecad | Toutes | Oui | ||
Gimp | Toutes | Oui | ||
Geogebra | Toutes | Oui | ||
GNU Octave | Logiciel de calcul numérique | Toutes | Oui | |
Gnuplot | Toutes | Oui | ||
Graphviz | Toutes | Oui | ||
Grass GIS | Logiciel de système d'information géographique | Toutes | Oui | |
ImageJ | Logiciel de traitement et d'analyse d'images | Toutes | Oui | |
ImageMagick | Manipulation et ouverture d'images sous de nombreux formats | Toutes | Oui | |
Inkscape | Toutes | Oui | ||
Mayavi2 | Ce logiciel utilise la bibliothèque VTK, il l'installe donc en même temps | Toutes | Oui | |
Meshlab | Toutes | Oui | ||
mpb (MIT Photonic Bands) | Toutes | Oui | ||
Eclipse Papyrus | Le logiciel peut prendre un peu de temps à démarrer | Toutes | Oui | |
ParaView | Logiciel de visualisation de données | Toutes | Oui | |
QGis | Logiciel de système d'information géographique | Toutes | Oui | |
SExtractor | Catalogue les objets présents dans une image astronomique | Toutes | Oui | |
WxMaxima et Maxima | Logiciel de calcul formel | Toutes | Oui | |
Xfig | Logiciel de dessin vectoriel | Toutes | Oui | |
Bioinformatique | ||||
Clustal(X/W) | Alignement de séquences biologiques | Toutes | Oui | |
Jalview | Alignement de séquences biologiques | Toutes | Oui | |
Pymol | Logiciel de visualisation de structures chimiques en 3D | Toutes | Oui | |
Seaview | Alignement de séquences biologiques | Toutes | Oui | |
Langages, outils de programmations, compilations et base de données | ||||
Anaconda | Se trouve dans /opt/anaconda | Toutes | Oui | |
automake | Toutes | Oui | ||
autoconf | Toutes | Oui | ||
bison | Toutes | Oui | ||
byacc | Toutes | Oui | ||
bzip | Toutes | Oui | ||
Cargo | Pour faire du Rust | Toutes | Oui | |
clang | clang-12 a également été installé suite à la demande de Sylvain Théry | Toutes | Oui | |
Cmake | Toutes | Oui | ||
Coq | Toutes | Oui | ||
Cobertura | Couverture de code Java | Toutes | Oui | |
Cuda | C306 et J4 | Non (C306) Oui et Non (J4-ROOT) | ||
cURL | Toutes | Oui | ||
DDD (Data Display Debugger) | Toutes | Oui | ||
doxygen | Toutes | Oui | ||
EASEA | Plateforme d'exploitation d'algorithmes évolutionnaires ou massivement parallèles | J4-ROOT | Oui | |
Erlang | Toutes | Oui | ||
flex | Toutes | Oui | ||
Frama-C | Preuve de programmes C | Version la plus récente (en 2024/2025 24.0 Chromium) et nécessite l'utilisation du compte etudiant (login: etudiant, mot de passe: mai2019? ) dans certaines salles | C306, C315, J3 et J4-ENT (compte etudiant), J2 et J4-ROOT (compte info) | Non |
g++ | g++-10 est également présent suite à la demande de Sylvain Théry | Toutes | Oui | |
gcc | Toutes | Oui | ||
gdb | Toutes | Oui | ||
gfortran | Toutes | Oui | ||
Ghostscript | Interpreteur pour Postscript et fichier PDF | Toutes | Oui | |
Git | Outil de versioning | Toutes | Oui | |
Glade | Toutes | Oui | ||
Hadoop | Version 2.10.1 à la demande de M. Génaud | Toutes | Oui | |
gprolog | Toutes | Oui | ||
iPython | Toutes | Oui | ||
Java (openJRE et openJDK) | Version 16 | Toutes | Oui | |
Junit | Toutes | Oui | ||
libtool | Toutes | Oui | ||
llvm | Toutes | Oui | ||
m4 | Toutes | Oui | ||
MySQL Client | Toutes | Oui | ||
MySQL Workbench | Toutes | Oui | ||
nodeJS | Toutes | Oui | ||
Ocaml | Toutes | Oui | ||
OpenJDK | Toutes | Oui | ||
OpenJFX | Framework Java | Toutes | Oui | |
p7zip | Gestion d'archives | Toutes | Oui | |
pax | Gestion d'archives | Toutes | Oui | |
pip(3) | Toutes | Oui | ||
pgAdmin | Gestionnaire de BDD PostgresSQL | Toutes | Oui | |
PHP (8.1) | Toutes | Oui | ||
Protégé | Environnement d'édition d'ontologies | Toutes | Oui | |
python (2.7, 3, 3.8) | Toutes | Oui | ||
R | Toutes | Oui | ||
Ruby | Toutes | Oui | ||
Scala | Toutes | Oui | ||
SCons | Outil de construction de logiciel (similaire à Make) | Toutes | Oui | |
screen | Multiplexeur de terminaux | Toutes | Oui | |
Sparse | Parseur de sémantique C | Toutes | Oui | |
spim et xspim | Simulateur de processeur MIPS | Toutes | Oui | |
(i)Spin | Promela | Toutes | Oui | |
SVN | Outil de versioning | Toutes | Oui | |
swig | Toutes | Oui | ||
SWI-Prolog | Toutes | Oui | ||
Tcl | Toutes | Oui | ||
TinyXML | Parseur XML pour C++ | Toutes | Oui | |
tmux | Multiplexeur de terminaux | Toutes | Oui | |
Valgrind | Toutes | Oui | ||
Why3 | Preuve | Toutes | Oui | |
zsh | Interpréteur shell | Toutes | Oui | |
Réseaux | ||||
Filezilla | Client FTP, FTPS et SFTP | Toutes | Oui | |
GNS3 | Virtualisations de maquettes réseaux | La version 2.2.21 est/sera installée , des problèmes de compatibilités peuvent apparaître avec les versions très anciennes, versions qui sont souvent proposés par défaut par certaines méthodes d'installations | Toutes | Oui |
Google Chrome | Toutes | Oui | ||
Lynx | Navigateur Web en ligne de commande | Toutes | Oui | |
Midori | Navigateur Web | Toutes | Oui | |
Mininet | J2, J4-ROOT | Oui | ||
Mozilla Firefox | Toutes | Oui | ||
Nam | Toutes | Oui | ||
ns2 | Toutes | Oui | ||
POX | Contrôleur Mininet | J2, J4-ROOT | Oui | |
Remmina | Client de connexion et prise de contrôle de bureaux distants | Toutes | Oui | |
Kanif/TakTuk | Toutes | Oui | ||
Thunderbird | Client Mail | Toutes | Non | |
Traceroute | Toutes | Oui | ||
Wireshark | Analyseur de trames | Nécessite les droits root sauf lors de l'utilisation de GNS3 | J3, J4-ENT, C306 et C315 (avec GNS3 seulement), J2 et J4-ROOT (pas de restriction) | Oui |
Zenmap | Toutes | Oui | ||
Virtualisation | ||||
Docker | Nécessite l'utilisation du compte étudiant (login: etudiant, mot de passe: mai2019? ) dans certaines salles. Je conseille de privilégier les salles J4 et J2 pour l'utilisation de docker | C306, C315, J3 et J4-ENT (compte etudiant), J2 et J4-ROOT (compte info) | Oui et Non | |
Docker-compose | Nécessite l'utilisation du compte étudiant (login: etudiant, mot de passe: mai2019? ) dans certaines salles. Je conseille de privilégier les salles J4 et J2 pour l'utilisation de docker-compose | C306, C315, J3 et J4-ENT (compte etudiant), J2 et J4-ROOT (compte info) | Oui et Non | |
qemu et qemu-kvm | Toutes | Oui | ||
Vagrant | Toutes | Oui | ||
VirtualBox | Toutes | Oui | ||
Librairies (liste absolument non exhaustive) | ||||
DGTal | J4-ROOT | Oui | ||
glew | Pour OpenGL | Toutes | Oui | |
glut | Pour OpenGL | Toutes | Oui | |
Insight ToolKit (ITK) | Bibliothèque de classes C++ de traitement d'images | Toutes | Oui | |
mesa | Pour OpenGL | Toutes | Oui | |
MPFRCX, MPFR, MPC et GMP | Librairies de précisions d'arithmétique réel et complexe | Toutes | Oui | |
OpenMP | Calcul parallèle sur architecture à mémoire partagée | Toutes | Oui | |
SDL2 | Librairie pour application graphique en deux dimensions | Toutes | Oui | |
Bureautique | ||||
LibreOffice (suite complète) | Toutes | Oui | ||
Okular | Visionneuse de documents | Toutes | Oui | |
(v)Prerex | Toutes | Oui | ||
TeXMaker | Logiciel d'édition de documents LaTeX | Toutes | Oui | |
Scribus | Logiciel de publication assistée par ordinateur | Toutes | Oui | |
Xpdf | Lecteur de PDF | Toutes | Oui | |
Autres | ||||
VLC | Lecteur multimédia gratuit et open-source | Toutes | Oui | |
MPV | Lecteur multimédia gratuit et open-source | Toutes | Oui | |
Veyon | Permet d'observer l'écran de l'étudiant, un manuel sous format PDF vous a été fourni | Toutes | Oui et Non |
Windows 11
Logiciel | Description | Remarque | Salle | |
---|---|---|---|---|
7 Zip | Toutes | Oui | ||
Android Studio | Toutes | Oui | ||
Arduino IDE | Toutes | Non | ||
Blender | Toutes | Oui | ||
CodeBlocks | Toutes | Oui | ||
CoqIDE | Toutes | Non | ||
Git | Toutes | Oui | ||
IDLE (python) | Toutes | Oui | ||
intelliJ | Toutes | Oui | ||
LibreOffice | Toutes | Oui | ||
Microsoft Office, Word, Excel,.. | Toutes | |||
Mozilla Firefox | Toutes | Oui | ||
python3.7/3.9 | Toutes | Oui | ||
QTCreator | Toutes | Oui | ||
R | Toutes | Oui | ||
RStudio | Toutes | Oui | ||
Putty et Psftp | Toutes | Non | ||
Scilab | Toutes | Oui | ||
Tinn-R | Toutes | Oui | ||
Unity | C306, J4 | Non | ||
Visual Studio Code et Visual Studio | Toutes | Oui et Non | ||
VirtualBox | Toutes | Oui | ||
WinSCP | Toutes | Oui |