Mois : septembre 2025

Installer GeoGebra 5 sous Debian 13

GeoGebra 6 n’est plus disponible à l’installation pour Debian. Le lien suivant concerne GeoGebra 5 (Version 5.2.903.0 du 07/10/2025).

=> https://download.geogebra.org/package/linux-port

geogebra.desktop (voir ci-dessous) est à mettre dans le répertoire /home/$USER/.local/share/applications. $USER est à remplacer par un identifiant, ci-dessous également.

[Desktop Entry]
Type=Application
Name=GeoGebra
Comment=Créer des constructions mathématiques et des appliquettes
Exec=/home/$USER/.local/share/geogebra/GeoGebra-Linux-Portable-5-2-901-1/geogebra-portable
Icon=/home/$USER/.local/share/geogebra/geogebra.png
Terminal=false
Categories=Education;

Installer Logisim-evolution 4 sous Debian 13

Logisim-evolution est un simulateur de circuits logiques.

Télécharger logisim-evolution-4.0.0-all.jar depuis https://github.com/logisim-evolution/logisim-evolution/releases

Dans la console :

Si le répertoire Logisim-evolution n’existe pas déjà, je le crée et installe Logisim-evolution à l’endroit voulu :

mkdir ~/.local/share/logisim-evolution
cd Téléchargements
mv logisim-evolution-4.0.0-all.jar ~/.local/share/logisim-evolution/

Je télécharge l’icône Logisim-evolution et l’installe à l’endroit voulu :

wget http://entropie.org/3615/download/logisim-icon-256.png
mv logisim-icon-256.png ~/.local/share/logisim-evolution/

Pour intégrer le programme au menu de Mate, je crée un fichier logisim-evolution.desktop dans le répertoire ~/.local/share/applications :

cd ~/.local/share/applications
nano logisim-evolution.desktop


[Desktop Entry]
Name=Logisim-evolution
Comment=Graphical tool for designing and simulating logic circuits
Exec=java -jar /home/$USER/.local/share/logisim-evolution/logisim-evolution-4.0.0-all.jar ($USER est à adapter)
Icon=/home/$USER/.local/share/logisim-evolution/logisim-icon-256.png ($USER est à adapter)
Terminal=false
Type=Application
Categories=Electronics;

=> Tutoriels vidéos (INSA Rennes)