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.899.0 du 26/08/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-899-0/geogebra-portable
Icon=/home/$USER/.local/share/geogebra/geogebra.png
Terminal=false
Categories=Education;

Installer Logisim-evolution 3.9.0 sous Debian 13

Logisim-evolution est un simulateur de circuits logiques.

Télécharger logisim-evolution-3.9.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-3.9.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-3.9.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)

Installation de Debian 13 (Trixie)

Debian 13 est sortie le 09/08/2025.

RÉCUPÉRER L’ISO :

On peut télécharger l’ISO proposée sur la page d’accueil du site Debian (en haut à droite) mais l’installation par le réseau est assez longue. Pour accélérer l’installation, je préfère choisir de télécharger l’ISO du premier DVD. L’adresse de base https://cdimage.debian.org/debian-cd/ est à compléter en fonction de la version choisie :
https://cdimage.debian.org/debian-cd/current/amd64/iso-dvd/

Remarque : Les anciennes versions sont téléchargeables ici : https://cdimage.debian.org/cdimage/archive/

Pour tester les signatures des fichiers téléchargés, on peut utiliser dans la console :
sha256sum debian-*.iso
sha512sum debian-*.iso
En ce qui me concerne, je mets le fichier iso à tester avec les fichiers SHA256SUMS et SHA512SUMS dans un même répertoire et je tape dans la console :

sha256sum --ignore-missing -c SHA256SUMS
sha512sum --ignore-missing -c SHA512SUMS
La réponse est par exemple :
debian-13.0.0-amd64-DVD-1.iso: Réussi
debian-13.0.0-amd64-DVD-1.iso: Réussi

CRÉER UNE CLÉ USB BOOTABLE :

Dans la console :
sudo fdisk -l (pour avoir la liste des disques)
Attention ! Danger !
sudo dd if=/chemin/debian-*.iso of=/dev/sdc bs=4M && sync (à adapter)

RENTRER DANS LE BIOS :

Au préalable : Débrancher le disque « données », par sécurité.
Sur mon PC : F2
Rentrer le mot de passe Administrateur => Démarrage / UEFI

DÉBUTER L’INSTALLATION :

Choisir Graphical Install
…
Faut-il créer une nouvelle table de partition sur ce disque ? Oui
/dev/sda
/dev/sda1 primaire (512 MB) F ESP Partition système EFI
/dev/sda2 primaire (8 GB) F swap swap
/dev/sda3 primaire (60 GB) F ext4 /
/dev/sda4 primaire (le reste en GB) F ext4 home
…
Logiciels à installer :
* Environnement de bureau Debian
* Mate
* Utilitaires usuels du système
L’ordinateur reboote…

MODIFIER ÉVENTUELLEMENT LE FICHIER SOURCES.LIST DES DÉPÔTS :

Dans la console :
sudo nano /etc/apt/sources.list


# deb cdrom:[Debian GNU/Linux 13.0.0 _Trixie_ ...]/ trixie contrib main non-free-firmware

deb http://ftp.fr.debian.org/debian/ trixie main non-free-firmware
deb-src http://ftp.fr.debian.org/debian/ trixie main non-free-firmware

deb http://security.debian.org/debian-security trixie-security main non-free-firmware
deb-src http://security.debian.org/debian-security trixie-security main non-free-firmware

# trixie-updates, to get updates before a point release is made;
# see https://www.debian.org/doc/manuals/debian-reference/ch02.en.html#_updates_and_backports
deb http://ftp.fr.debian.org/debian/ trixie-updates main non-free-firmware
deb-src http://ftp.fr.debian.org/debian/ trixie-updates main non-free-firmware

# This system was installed using removable media other than
# CD/DVD/BD (e.g. USB stick, SD card, ISO image file).
# The matching "deb cdrom" entries were disabled at the end
# of the installation process.
# For information about how to configure apt package sources,
# see the sources.list(5) manual.

# -------------------------------------------------------------------------------

# Rétroportages vers stable : trixie-backports
deb http://ftp.fr.debian.org/debian/ trixie-backports main non-free-firmware
deb-src http://ftp.fr.debian.org/debian/ trixie-backports main non-free-firmware

POUR METTRE LE SYSTÈME À JOUR :

Dans la console :
Pour récupérer les nouvelles listes de paquets :
sudo apt-get update
Pour réaliser une mise à jour :
sudo apt-get upgrade
Pour supprimer un paquet :
sudo apt-get remove nom_paquet
Pour supprimer des paquets qui ne sont plus nécessaires :
sudo apt-get autoremove

LES PAQUETS SUPPLÉMENTAIRES QUE J’INSTALLE ÉVENTUELLEMENT :

Dans la console (c’est tellement plus rapide !) :
sudo apt-get install nom_paquet

Installés d’office avec Mate :
gimp => https://www.gimp.org / Détails du paquet
libreoffice => https://www.libreoffice.org / Détails du paquet

à compléter…

RÉCUPÉRER LES DONNÉES D’UN ANCIEN DISQUE DUR :

Pour changer de propriétaire / groupe :
On remplacera ci-dessous $USER par l’identifiant souhaité.

cd /home/$USER
sudo chown -R $USER:$USER $USER (propriétaire:groupe dossier)

Installation du scanner Brother MFC-L2800DW sous Debian 12

Mis à jour le 12/08/2025

Support Brother

Scanner driver 64bit (deb package) => brscan5-1.4.0-3.amd64.deb
https://support.brother.com/g/b/downloadhowto.aspx?c=fr&lang=fr&prod=mfcl2800dw_eu_as&os=128&dlid=dlf104033_000&flang=4&type3=566

Scan-key-tool 64bit (deb package) => brscan-skey-0.3.4-0.amd64.deb
https://support.brother.com/g/b/downloadhowto.aspx?c=fr&lang=fr&prod=mfcl2800dw_eu_as&os=128&dlid=dlf006652_000&flang=4&type3=570

Dans la console :

cd Téléchargements

sudo dpkg -i --force-all brscan5-1.4.0-3.amd64.deb
dpkg -l | grep Brother (pour voir si le driver est installé)

sudo apt-get install curl
sudo dpkg -i --force-all brscan-skey-0.3.4-0.amd64.deb
dpkg -l | grep Brother (pour voir si le driver est installé)

sudo nano /etc/udev/rules.d/60-brother-mfp-brscan5-1.0.2-2.rules
puis enlever le # devant :
MODE="0666"
GROUP="scanner"

sudo apt-get install sane xsane gocr (Debian 12)
sudo apt-get install xsane gocr (Debian 13)

Pour une reconnaissance de caractères plus performante qu'avec gocr, j'installe Tesseract (à utiliser dans la console) :
sudo apt-get install tesseract-ocr tesseract-ocr-osd
sudo apt-get install tesseract-ocr-eng tesseract-ocr-fra

Usage de Tesseract :

tesseract image.pnm texte
tesseract --dpi 600 image.pnm texte -l fra

Installer Siril sous Debian 12

Mis à jour le 08/08/2025. En attendant Debian 13…

Site : https://siril.org
Version : 1.2.6

Dans la console :

Si le répertoire Siril n’existe pas déjà, je le crée :
sudo mkdir /usr/share/siril

Je télécharge l’application : Siril-1.2.6-x86_64.AppImage

J’installe l’application à l’endroit voulu :
cd Téléchargements
sudo mv Siril-1.2.6-x86_64.AppImage /usr/share/siril

Je rends le fichier exécutable :
sudo chmod +x /usr/share/siril/Siril-*.AppImage

Je télécharge l’icône Siril et l’installe à l’endroit voulu :
wget http://entropie.org/3615/download/free_astro.siril.svg
sudo mv free_astro.siril.svg /usr/share/siril/free_astro.siril.svg

Pour intégrer le programme au menu de Mate, je crée un fichier siril.desktop dans le répertoire /usr/share/applications :
cd /usr/share/applications
sudo nano siril.desktop

[Desktop Entry]
Type=Application
Name=Siril
Comment=Traitement d’images astronomiques
Exec=/usr/share/siril/Siril-1.2.6-x86_64.AppImage
Icon=/usr/share/siril/free_astro.siril.svg
Terminal=false
Categories=Astronomy;

Pour effacer une version précédente de Siril (à adapter) :
sudo rm -rf /usr/share/siril/Siril-*.AppImage

Trame d’une télécommande 433 MHz

L’objectif est de commander à distance des prises de courant télécommandées depuis un montage Arduino.

Arduino + récepteur RTL-SDR + télécommande 433,92 MHz
Modulation OOK (ASK) ???

Méthode :

Dans Universal Radio Hacker, après avoir enregistré le signal de la télécommande, si Autodetect parameters ne donne rien, on sélectionne sur le signal ce qui pourrait correspondre à 1 bit et on règle Samples/Symbol sur la valeur obtenue (selected), puis on tâtonne autour de cette valeur, l’objectif est de récupérer une trame qui se répète. Si la trame se répète entre 860 et 986 Samples/Symbol, on règle celui-ci sur 923 (la moyenne). On affine Samples/Symbol en divisant le nombre de samples de la trame par le nombre de bits.

Puis on calcule la durée des impulsions de chaque bit :
137679 selected => 68,84 ms / 135 bits = 0,510 ms = 510 microsecondes
=> BIT_LEN 510 (dans le programme Arduino)

On calcule enfin la durée entre 2 trames en se basant sur le nombre de samples et Sample rate => SEQ_PAUSE dans le programme Arduino.

La télécommande de ma prise envoie le signal qui suit, j’arrive à décoder la trame mais pas à réémettre ce signal. Même le HackRF One en mode émission a du mal à se faire reconnaître ! À approfondir…