Ceci est une ancienne révision du document !
Table des matières
Configurations des salles
L'UFR de Mathématique et Informatique dispose de 6 salles de TP au pôle API d'Illkirch :
- les salles J2, J3, J5 et C306 qui ont un double boot ⇒ Ubuntu avec login ENT et Windows 10 avec login ENT;
- la salle J4 qui a un triple boot ⇒ Ubuntu avec login root, Ubuntu avec login ENT et Windows 10 avec login ENT;
- la salle C315 qui a un double boot ⇒ Ubuntu avec login root et Windows 10 avec login ENT.
La version d'Ubuntu envisagée pour l'année 2024/2025 est la 22.04 (même version que l'année précédente) et celle de Windows 10 est la 22H2 (même version que la 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 C315 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 10 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 | ||
NVIDIA Nsight Eclipse | J4 (Ubuntu root) | 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 | Version pouvant varier selon la salle | C306 (nvcc v10.1) J4-ROOT (nvcc v10.0) | 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 (actuellement 24.0 Chromium) et nécessite l'utilisation du compte etudiant (login: etudiant, mot de passe: mai2019? ) dans certaines salles | C306, J2, J3 et J4-ENT (compte etudiant), C315 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 | ||
NVIDIA Nsight Compute | J4-ROOT | Oui | ||
NVIDIA Nsight Systems | J4-ROOT | Oui | ||
NVIDIA Visual Profiler | J4-ROOT | 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 | C315, J4-ROOT | Oui | ||
Mozilla Firefox | Toutes | Oui | ||
Nam | Toutes | Oui | ||
ns2 | Toutes | Oui | ||
POX | Contrôleur Mininet | C315, 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 | J2, J3, J4-ENT et C306 (avec GNS3 seulement), C315, 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 C315 pour l'utilisation de docker | C306, J2, J3 et J4-ENT (compte etudiant), C315 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 C315 pour l'utilisation de docker-compose | C306, J2, J3 et J4-ENT (compte etudiant), C315 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 10
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 |