GeoGebra est un logiciel en partie libre de géométrie dynamique.
Pour lister les éventuels paquets installés, contenant le mot "geogebra", ouvrir un terminal et taper la commande :
: dpkg -l | grep geogebra
Désinstaller alors le paquet lié à la version :
: sudo dpkg -P geogebra
Pour installer ce logiciel, il suffit d'installer les paquets geogebra
Vous pouvez compléter l'installation par l'installation du paquet geogebra-gnome
Un dépôt personnel (PPA, appelé aussi source de logiciels) permet d'installer cette version.
Il faut donc ajouter la source de logiciels de GeoGebra et une clé d'authentification.
La source https://www.geogebra.net/linux/ propose en téléchargement la clé d'authentification : office@geogebra.org.gpg.key
Dans un terminal :
:~$ sudo wget -O- https://www.geogebra.net/linux/office%40geogebra.org.gpg.key | sudo gpg --dearmor --yes --output /usr/share/keyrings/geogebra-archive-keyring.gpg
Dans le terminal, il est possible de vérifier que la clé est bien présente dans le dossier /usr/share/keyrings, avec la commande ls :
:~$ ls -1 /usr/share/keyrings |grep geogebra geogebra-archive-keyring.gpg
Ensuite, toujours dans le terminal, ajouter la source avec la commande :
:~$ sudo echo "deb [signed-by=/usr/share/keyrings/geogebra-archive-keyring.gpg] https://www.geogebra.net/linux/ stable main" | sudo tee /etc/apt/sources.list.d/geogebra.list
Alors, mettre à jour la liste des logiciels.
:~$ sudo apt-get update
Enfin, installer le paquet geogebra5 à l'aide de la commande :
:~$ sudo apt-get install geogebra5
Il est possible de l'installer à l'aide du paquet .deb disponible sur le site geogebra.org
Certains fichiers (dépendances) peuvent manquer et gêner l'installation de GeoGebra.
Pour éviter cela, ouvrir un terminal et taper :
:~$ sudo apt install gconf-service gconf-service-backend gconf2-common libcanberra-gtk-module libcanberra-gtk0 libgconf-2-4
Télécharger le paquet .deb Linux (deb): 64 bit installers for .deb based systems (Debian, Mint, Ubuntu)
Une fois le fichier téléchargé, le sélectionner puis clic droit Propriétés et copier le chemin du dossier parent (que nous appellerons /chemin_fichier_deb
).
Dans un terminal, taper la commande cd (change directory) puis clic-droit coller :
:~$ cd /chemin_fichier_deb
Ensuite, taper la commande sudo dpkg -i et appuyer sur la touche tab pour compléter automatiquement la commande, puis Entrée :
:~/chemin_fichier_deb$ sudo dpkg -i geogebra-classic_6.0.666.0-202109211234_amd64.deb
Enfin, si un message de ce type apparaît (dépendances manquantes ; voir Au préalable) :
dpkg: des problèmes de dépendances empêchent la configuration de geogebra-classic : geogebra-classic dépend de libgconf-2-4 ; cependant : Le paquet libgconf-2-4 n'est pas installé. geogebra-classic dépend de libcanberra-gtk-module ; cependant : Le paquet libcanberra-gtk-module n'est pas installé)
Il faut alors taper dans un terminal :
:~$ sudo apt --fix-broken install
Paquet qui permet de visualiser les vignettes des fichiers .ggb de GeoGebra 5 et 6 ne nécessitant pas l'installation de GeoGebra : https://framadrive.org/s/jcr6wjY0IAsZh9u/download , 32 bits & 64 bits
Les dessins, figures réalisés pour une utilisation commerciale directe ou indirecte (publication, manuel scolaire, site en ligne de formation) sont soumis à une licence (voir https://www.geogebra.org/license).
Contributeurs principaux : snip,frombenny,YvanD,Gemnoc,Canigou 66,mimilus,grigouille,YoBoY,obooklage,zede.