Installer Debian pour Raspberry Pi

Debian - Universal Operating System

Même si Raspberry Pi OS n'est pas un mauvais système d'exploitation, les récentes informations concernant l'intégration “obligatoire” d'un dépôt de Microsoft – sans aucun consentement – n'a pas beaucoup plu, notamment aux libristes. En effet, savoir que Microsoft peut désormais surveiller et faire un profil des utilisateurs de la Framboise peut vraiment déplaire, sachant que ce microPC est souvent utilisé de manière privée, comme serveur personnel.

Puisque Raspberry Pi OS est déjà basé sur Debian, pourquoi ne pas retourner aux sources et utiliser avec sa Framboise directement Debian, dont les valeurs éthiques de libertés sont reconnues ?

Gunnar Wolf est à l'origine de la création d'images systèmes Debian pour RPi, et a récemment proposé un port de la version Bullseye. Ses ports intègrent un firmware-blob “non-free” (propriétaire) pour le boot, ce qui prouve qu'une RPi n'est pas si propre... Ses images sont donc non officielles même si Gunnar Wolf fait partie de l'équipe Debian.

Voici comment installer Debian sur la Framboise

Téléchargement de Debian pour Raspberry Pi

Première étape : rendez-vous sur la page du projet. Vous trouverez un lien recensant les différentes images disponibles. Cherchez et téléchargez celle qui correspond entre la version de Debian et la version de votre RaspberryPi.

Vérifiez votre image téléchargée

Il serait bien de vérifier son empreinte pour éviter d'installer une version corrompue. Pour cela, téléchargez également le fichier sha256sum correspondant. Enfin, dans un terminal, placez vous dans le dossier des 2 fichiers et vérifiez l'empreinte.

#Allons-y
cd Téléchargements/
#Vérifions. Remplacez le nom de l'image
sha256sum --check 20210210_raspi_3_bullseye.xz.sha256 # Contrôle de l'image rasp-debian

Si le test est marqué “réussi”, tout commence bien.

Prenez note de l'emplacement de votre microSD

La commande lsblk vous renseignera sur la référence de votre disque. Pour une MicroSD, vous devriez voir ce genre d'information : “mmcblk0”. Si vous n'êtes pas sûr(e) – il faut être certain(e), sous peine d'effacer un disque différent, voici une méthode radicale simple qui analyse la présence des périphériques et montre les différences, avant et après avoir inséré son disque.

Formatez le disque avec l'image rasp-debian

Le fichier est une image compressée au format xz. Profitons pour utiliser la commande xzcat. Dans mon cas, la référence de mon disque est “mmcblk0” et le nom de mon image est “20210210raspi3_bullseye.img.xz”. Adaptez la commande suivante

#REMPLACEZ "mmcblk0" si la référence est différente!

xzcat 20210210_raspi_3_bullseye.img.xz | sudo dd of=/dev/mmcblk0 bs=64k oflag=dsync status=progress # Décompression formatage du disque avec rasp-debian

Configuration de son image système

Avant de démarrer votre Framboise avec votre nouveau système, vous pouvez effectuer quelques personnalisations importantes.

Ayant rencontré quelques soucis pour faire prendre en compte le mot de passe et la clé SSH dans le fichier sysconf.txt de la première partition (RASPIFIRM), je vous conseille de créer plutôt une clé d'authtification RSA sur votre PC, et de faire une copie avec ssh-copy-id sur votre RPi. La connexion à votre Framboise sera automatique.

On devrait pouvoir renseigner dans le fichier sysconf.txt ses valeurs personnelles.

#root_pw=FooBar
...
#root_authorized_key=
#hostname=rpi

Pour créer sa clé d'authenfication, sur votre PC, tapez ceci :

ssh-keygen -t rsa

Après avoir validé le nom du fichier, et renseigné votre mot de passe, par défaut vous aurez une clé privée et publique (nommée id_rsa.pub) dans le dossier ~/.ssh/.

Pour se connecter à la RPi et copier sa clé publique dedans, tapez ceci :

ssh-copy-id -i ~/.ssh/id_rsa.pub root@[IP_DE_LA_RPI]

Pour vous connecter automatiquement les fois suivantes, tapez juste :

ssh root@[IP_DE_LA_RPI]