Différences

Ci-dessous, les différences entre deux révisions de la page.

--- infra:depot_linux [2020/04/28 12:04]
rapacchd
+++ infra:depot_linux [2020/04/29 11:50]
rapacchd
@@ Ligne 23: / Ligne 23: @@
   apt-cache search im2ag
+Liste des paquets mis à disposition :
+im2ag-android-studio - Android Studio configuré avec le proxy de l'UJF.
+im2ag-android-studio-config - La configuration spécifique d'Android Studio.
+im2ag-anyconnect - Le client Cisco AnyConnect pour les postes étudiants.
+im2ag-arm-elf-gcc - Le toolchain de compilation ARM pour l'UE ALM.
+im2ag-carisme-bionic - Le paquet des salles Carisme. Ensemble des packages nécessaires pour carisme
+im2ag-comsol - L'installation de COMSOL 53a sur les Linux de l'UFR
+im2ag-conf-watch - Un service de surveillance du système de fichiers.
+im2ag-conf-watch-git - Un petit script pour garder l'historique des modifications des fichiers de configuration.
+im2ag-conf-watch-sip - Un petit script pour notifier SIP lorsqu'un fichier de configuration important est modifié
+im2ag-coq - Coq Version 8.9
+im2ag-core - The core packages that should be installed on every IM²AG machine (be it server or client).
+im2ag-courses - A meta-package that includes all the requisite material for the courses here in the IM²AG.
+im2ag-cplex - IBM CPLEX
+im2ag-dbeaver - DBeaver
+im2ag-default-accounts - Les comptes par défaut pour les étudiants non inscrits
+im2ag-des - The Datalog Educational System (as installed on the IM²AG machines)
+im2ag-docker - Ajout des users dans le group docker pour que ça fonctionne
+im2ag-eclipse-bionic - The Eclipse IDE (2018 Edition)
+im2ag-editors - All the text editors available on the IM²AG machines.
+im2ag-epsilon - A 3D structural editor.
+im2ag-exim4 - Les fichiers de configuration pour exim4 sur im2ag-turing.
+im2ag-extras - Some extra packages requested by the users.
+im2ag-fiji - Fiji, un logiciel de traitement d'images.
+im2ag-firefox - Firefox preferences
+im2ag-giac-bionic - computer algebra system by Bernard Parisse
+im2ag-git-frameworks - Quelques sous-commandes Git pratiques pour l'installation et la mise à jour d'applications modulaires.
+im2ag-glew - La librairie GLEW de l'UFR !
+im2ag-glfw - GLFW
+im2ag-glm - The GLM library
+im2ag-gpj - A Global Platform compliant command-line tool.
+im2ag-gratin - Les dépendances du projet Gratin de la Showroom (Janvier-Juin 2015)
+im2ag-greeter - The IM²AG graphical greeter configuration
+im2ag-gsh - Une commande de SSH distribué.
+im2ag-ibus - La configuration de l'outil de changement de disposition du clavier (IBus).
+im2ag-intellij - IntelliJ IDEA, a Java IDE.
+im2ag-java-bionic - Toutes les versions de Java demandées sur les postes de l'IM²AG
+im2ag-javafx - JavaFX
+im2ag-jcdk - The Javacard Development Kit, IM²AG style.
+im2ag-jml - Une installation customisee de JML pour l'UE "Techniques avancees du test" (qui utilise le JDK1.4)
+im2ag-jupyter-bionic - L'installation de Jupyter Notebook pour les salles TP
+im2ag-krb5 - Installation d'un serveur kerberos .
+im2ag-language-support - Le paquet qui définit les langues disponibles pour les PCs ouverts au public
+im2ag-libntl - Number Theory Library, shared library
+im2ag-libtcc-dev - The TCC library, adapted for use by MIASM.
+im2ag-libtiff - La libtiff, plus quelques liens symboliques pour la compatibilité
+im2ag-lightdm - Les fichiers de configuration pour le lightdm et les bons wallpapers.
+im2ag-linbox - Library for exact linear algebra - development files
+im2ag-macaulay - a software system for algebraic geometry research
+im2ag-macaulay-common - a software system for algebraic geometry research
+im2ag-machines - A listing of all the meta-informations associated to the terminals in lab rooms.
+im2ag-machines-core - La base des machines de l'UFR.
+im2ag-maple - Maple 2017 -- Bien penser à ajouter le jogamp-fat.jar dans maple/java pour que ça fonctionne
+im2ag-matlab - MATLAB R2018b
+im2ag-maven - La configuration des Maven à l'IM2AG
+im2ag-menus-bionic - Les fichiers de config des menus sur les postes de l'IMAG
+im2ag-metasploit - A metasploit installation on the IM²AG machines. The license key is valid until December 2014.
+im2ag-mit-scheme - L'interpréteur Scheme du MIT
+im2ag-modelio - La config de Modelio spécifique à l'IM²AG
+im2ag-mongodb - MongoDB 3.6.12
+im2ag-mosek - Mosek (Anatoli)
+im2ag-neo4j - Neo4J Desktop 1.1.18
+im2ag-netbeans-bionic - The Netbeans IDE (version 10 et 11)
+im2ag-netcdf - The NetCDF library (with Fortran bindings)
+im2ag-nodejs - Les paquets NodeJS à installer en salle de TP.
+im2ag-ntp - The IM²AG NTP configuration files, using the ntp.ujf-grenoble.fr server.
+im2ag-opencv - OpenCV 4.0.1
+im2ag-procesim - Procesim
+im2ag-projet-compil - Les besoins du projet de compilation de L3
+im2ag-pycharm - L'éditeur PyCharm
+im2ag-pykota - A print quota manager for use with CUPS
+im2ag-pyopengl - all necessary packages for pyopengl usage in python3
+im2ag-python-bionic - python
+im2ag-pyzo - Pyzo
+im2ag-qtcreator - QTCreator 3.0.0
+im2ag-r - Les paquets R supplémentaires de l'IM2AG
+im2ag-rabbitmq - Rabbitmq
+im2ag-rstudio - RStudio xenial
+im2ag-rsyslog - La configuration syslog pour centraliser les logs sur le serveur octopussy.
+im2ag-salome - Une installation de SALOME 8.5 par paquet.
+im2ag-scala-ide-bionic - Scala IDE
+im2ag-scilab - Paquet pour corriger "latexmath-fop-java..."
+im2ag-sockets - Les fichiers de description des mappages réseau à l'UFR IM2AG.
+im2ag-spark - paquet pyspark pour utilisation dans jupyter notebook.
+im2ag-sql-backup - Un script de backup automatique des bases d'un serveur.
+im2ag-sqldeveloper-bionic - SQL Developer, from Oracle
+im2ag-sqlite - SQLite 3.26
+im2ag-ssh - Ouvrir le SSH sur le poste
+im2ag-stlink - Un paquet pour STLink.
+im2ag-sudoers - Ajouter les comptes SI en tant que sudoers
+im2ag-syslinux - Le bootloader des salles TP.
+im2ag-syslog-server - Le paquet qui configure le serveur de logs
+im2ag-systemc - SystemC pour l'IM2AG.
+im2ag-terminals - Les émulateurs de terminal des machines de TP.
+im2ag-useocl - USE, an UML Specification Environment
+im2ag-validation - L'ensemble des TPs récupérés pour tester la fonctionnalité.
+im2ag-visualstudio - Visual Studio Code
+im2ag-vmrc-plugin - The VMWare Console plugin for firefox.
+im2ag-vpn - AnyConnect
+im2ag-vzutils - A few utilities to handle OpenVZ containers, creating templates and such.
+im2ag-wallpapers - Les wallpapers de l'UFR IM²AG
+im2ag-watchman - A useful tool for monitoring filesystem changes.
+im2ag-webstorm - L'éditeur WebStorm de JetBrains.
+im2ag-weka - Les fichiers de configuration pour l'authentification des utilisateurs (et le montage des Homes futurs sur les postes en salle de TP).
+im2ag-window-managers - The IM²AG window managers, that the students may choose from
+im2ag-xibo-client - L'install du client Xibo.
+im2ag-z3 - Z3, a theorem prover

Wiki pédagogique de l'IM²AG

Outils pour utilisateurs

Outils du site

Différences

Outils de la page