Différences

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

--- wiki:linux_softs [2022/07/26 19:04] – modification externe 127.0.0.1
+++ wiki:linux_softs [2024/02/06 11:53] (Version actuelle) – supprimée admin
@@ Ligne 1: / Ligne 1: @@
-====== Logiciels disponibles sous Linux à l'UFR ======
-Pour une présentation générale de ces machines, voir la page [[linux|infrastructure Linux]] à l'UFR.
-===== Logiciels Debian =====
-Parmi les paquets officiels Debian installés à l'UFR, on retrouve les grands classiques en terme d'édition (**emacs**, ...) de programmation (**gcc**, ...) et ainsi de suite. L'environnement de bureau fourni est **xfce**.
-Nous ne donnerons pas ici de liste plus précise, elle serait trop longue.
-Sur une machine, lancer la commande ''apt list --installed'' (avec deux tirets) ou encore ''dpkg -l'' pour en savoir plus.
-===== Logiciels tiers =====
-  * android SDK et android studio
-  * atom (editeur)
-  * eclipse (IDE)
-  * eclipse-clp (prog par contraintes)
-  * intellij-idea (editeur)
-  * kotlin
-  * leJOS (Lego Mindstorm)
-  * mars (simulateur mips)
-  * mozart-oz
-  * netbeans (IDE)
-  * node.js
-  * prism (model checker)
-  * spin (concurrence)
-  * symfony (framework php)