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

Installation du scanner Brother DS-740D sous Debian 12

https://support.brother.com/g/b/downloadhowto.aspx?c=fr&lang=fr&prod=ds740d_all&os=128&dlid=dlf104033_000&flang=4&type3=566

cd Téléchargements
sudo dpkg -i --force-all brscan5-1.3.1-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

Options avancées : Auto Document Size + Auto Deskew

Installer Mednum Offline Player sous Debian 12

Mis à jour le 28 décembre 2024.

Site : https://vod.mediatheque-numerique.com
Version du lecteur VOD : 5.8.0

Dans la console :

Si le répertoire Mednum Offline Player n’existe pas déjà, je le crée :
sudo mkdir /usr/share/mednum-offline-player

Je télécharge l’application : mednum-offline-player.AppImage

J’installe l’application à l’endroit voulu :
cd Téléchargements
sudo mv mednum-offline-player.AppImage /usr/share/mednum-offline-player

Je rends le fichier exécutable :
sudo chmod +x /usr/share/mednum-offline-player/mednum-offline-player.AppImage

Je télécharge l’icône MedNum et l’installe à l’endroit voulu :
wget http://entropie.org/3615/download/mednum128x128.png
sudo mv mednum128x128.png /usr/share/mednum-offline-player/mednum.png

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

[Desktop Entry]
Type=Application
Name=Médiathèque Numérique
Comment=Arte VOD
Exec=/usr/share/mednum-offline-player/mednum-offline-player.AppImage
Icon=/usr/share/mednum-offline-player/mednum.png
X-AppImage-Version=5.8.0
Terminal=false
Categories=AudioVideo;Player;

Pour effacer une version précédente de Mednum Offline Player (à adapter) :
sudo rm -rf /usr/share/mednum-offline-player/mednum-offline-player.AppImage

Installation de Raspberry Pi OS Lite

1/ Préparation de la carte SD (sous Debian)

Ne garder qu’une seule partition sur la carte SD et formater en FAT32.

Télécharger Raspberry Pi OS Lite depuis cette page.

Release date: February 21st 2023
System: 32-bit
Kernel version: 5.15
Debian version: 11 (bullseye)

Nom du fichier téléchargé :

2023-02-21-raspios-bullseye-armhf-lite.img.xz

SHA256 sums :

c4582dd776e24066cf008f4ff389c38769a052c46ec63317635694dd767b86c9

Dans la console :

cd Téléchargements
sha256sum *raspios*.img.xz

Décompresser le fichier téléchargé pour obtenir le fichier image.
Transférer l’image sur la carte SD :

sudo fdisk -l (pour avoir la liste des disques)
sudo dd if=2023-02-21-raspios-bullseye-armhf-lite.img of=/dev/sdf bs=1M status=progress (à adapter)

À adapter : On indique en sortie le nom d’un périphérique (ici sdf), pas celui d’une partition comme sdf1. Il faut attendre quelques minutes pour que l’opération se finisse.

2/ Configuration au premier démarrage

Connecter à la Raspberry Pi un écran et un clavier.

=> https://www.raspberrypi.com/documentation/computers/getting-started.html#configuration-on-first-boot