Catégorie : Debian

Installation de VirtualBox 7.2.6 dans Debian 13

Au préalable, aller dans le BIOS :
Avancé > Configuration Processeur > Technologie Intel Virtualization > Active

Site officiel : https://www.virtualbox.org

Télécharger VirtualBox (7.2.6) et VirtualBox Extension Pack (7.2.6) :
=> https://download.virtualbox.org/virtualbox/7.2.6/virtualbox-7.2_7.2.6-172322~Debian~trixie_amd64.deb
=> https://download.virtualbox.org/virtualbox/7.2.6/Oracle_VirtualBox_Extension_Pack-7.2.6.vbox-extpack

Dans la console :

cd Téléchargements
wget https://download.virtualbox.org/virtualbox/7.2.6/SHA256SUMS
sha256sum --ignore-missing -c SHA256SUMS
sudo gdebi virtualbox-*.deb

Ouvrir VirtualBox et installer l’extension téléchargée précédemment :
Paramètres > Extensions > Ajoute une nouvelle extension

Dans la console :

Pour connaître les versions installées de headers / image :
uname -a
apt policy linux-headers-amd64 linux-image-amd64

Installation :
sudo apt-get install linux-headers-amd64
sudo apt-get install linux-image-amd64

Redémarrer l’ordinateur.

Dans la console :

cd /sbin
sudo ./vboxconfig

Erreur rencontrée et résolution :

VT-x is being used by another hypervisor (VERR_VMX_IN_VMX_ROOT_MODE). VirtualBox can’t operate in VMX root mode. Please disable the KVM kernel extension, recompile your kernel and reboot (VERR_VMX_IN_VMX_ROOT_MODE).

Vérifier si KVM est activé :

lsmod | grep kvm

Désactiver KVM temporairement :

sudo modprobe -r kvm_intel  # Pour les processeurs Intel
sudo modprobe -r kvm_amd    # Pour les processeurs AMD

Désactiver KVM de manière permanente (optionnel) :

sudo nano /etc/modprobe.d/blacklist-kvm.conf
Ajouter les lignes suivantes dans ce fichier pour bloquer KVM :
blacklist kvm
blacklist kvm_intel
blacklist kvm_amd

Redémarrer l’ordinateur.

On peut maintenant installer des machines virtuelles…

Si besoin, installer les Additions invité sur la machine virtuelle (permet notamment le partage de dossiers entre l’hôte et l’invité).

Pour une désinstallation complète de VirtualBox :

sudo apt remove --purge virtualbox* -y

Installer GeoGebra 5 sous Debian 13

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

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

Décompresser l’archive GeoGebra-Linux-Portable-5-4-920-0.tar.bz2.
Autoriser l’exécution du fichier geogebra-portable comme un programme.

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-4-920-0/geogebra-portable
Icon=/home/$USER/.local/share/geogebra/geogebra.png
Terminal=false
Categories=Education;

Installer Logisim-evolution 4 sous Debian 13

Mis à jour le 09/04/2026

Logisim-evolution est un simulateur de circuits logiques.

Télécharger logisim-evolution-4.1.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.1.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.1.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