Comment installer Debian 13 Trixie sur Raspberry Pi

Debian est l’une des quatre principales versions de Linux et existe depuis 1993. Elle sert de base à Raspberry Pi OS, Ubuntu et bien d’autres. Quand j’ai découvert Linux, je l’ai essayée car c’était une distribution clé. Cependant, elle n’était pas aussi facile à utiliser pour les débutants que d’autres distributions, donc je n’y ai pas passé beaucoup de temps. Maintenant que j’ai plus d’expérience, et qu’il existe une version de Debian pour Raspberry Pi, il est temps de l’essayer à nouveau et de partager mon expérience avec vous.

Une image non officielle de Debian « Trixie » est disponible pour la plupart des modèles de Raspberry Pi. Il n’y a pas d’interface graphique par défaut, mais il est possible d’en ajouter une avec quelques commandes.

Lisez la suite pour découvrir comment configurer et installer Debian avec un environnement de bureau !

Si vous débutez avec Raspberry Pi ou Linux, j’ai quelque chose qui peut vous aider !
Téléchargez ma fiche mémo des commandes Linux gratuitement – c’est un guide de référence rapide avec toutes les commandes essentielles dont vous aurez besoin utiliser votre Raspberry Pi. Cliquez ici pour l’obtenir gratuitement !

Une brève histoire de Debian

Debian a une longue histoire, même avant l’invention du Raspberry Pi. Fondée en 1993 par Ian Murdock, c’est l’une des premières distributions Linux et elle sert de base à de nombreuses autres distributions Linux.

Le nom Debian vient de la petite amie d’Ian à l’époque, Debra, et de son prénom, Ian. La caractéristique principale de Debian à l’époque était l’outil de gestion de paquets avancé, qui est toujours utilisé avec la commande APT dans Raspberry Pi OS.

Les versions de Debian sont nommées d’après des personnages des films Toy Story. La version actuelle de Raspberry Pi OS s’appelle Trixie, d’après un Tricératops bleu qui apparaît dans Toy Story 3 (liste ici).

Une grande partie de Debian sera familière à la plupart des utilisateurs de Pi, car elle sert de base à Raspbian et maintenant Raspberry Pi OS. Cependant, cette distribution n’est pas adaptée aux utilisateurs novices par défaut.

Debian est utilisée sur de nombreux serveurs et autres installations à haute sécurité, donc peu de choses sont préconfigurées.

Peut-on installer Debian sur un Raspberry Pi ?

Grâce au travail de Gunnar Wolf, un développeur de Debian, il est possible d’installer Debian sur Raspberry Pi, même s’il n’y a pas de version officielle.

Bien que cela ne soit pas officiellement soutenu par le projet Debian, c’est bien fait et Gunnar explique que c’est censé être un système Debian très basique qui peut démarrer sur le Raspberry Pi, et pas grand-chose d’autre, comme nous le verrons.

Si vous téléchargez une image Debian pour un ordinateur Windows ou Mac, vous aurez des choix concernant l’installation de logiciels de bureau et différents types d’installateurs avec plusieurs options. Sur le Raspberry Pi, il n’y a qu’une installation minimale, et vous pouvez faire ce que vous voulez après cela… mais vous devez savoir comment.

Comment installer Debian pour Raspberry Pi

Voici les étapes nécessaires pour installer Debian sur un Raspberry Pi :

• Téléchargez l’image Debian conçue pour le Raspberry Pi.
• Flashez-la sur une nouvelle carte SD avec Raspberry Pi Imager.
• Insérez-la dans le Raspberry Pi et démarrez-le.

Télécharger l’image Debian

La première chose à faire est de télécharger une image depuis ce site pour notre Raspberry Pi.
Vous pouvez la télécharger depuis le site officiel ici.

Ici, vous trouverez une liste d’images disponibles et le matériel avec lequel elles ont été testées. J’ai choisi la dernière image Trixie. Cliquez sur le lien pour obtenir l' »image compressée en xz » pour votre modèle (dans mon cas, Pi 4 avec 4 Go).

Il y a des images pour chaque famille de Pi, du Pi Zero au Pi 400, ainsi que des versions pour Bookworm et Bullseye. Bullseye est l’ancienne version, mais il n’y a pas assez de différences pour que cela compte dans ces installateurs. Choisissez celle qui correspond à votre matériel et à votre version, puis téléchargez le fichier.

Flasher Debian sur la carte SD

Une fois téléchargé, nous devons écrire l’image sur une carte SD pour démarrer le Raspberry Pi.
Le processus est le même que pour tout autre fichier image que vous avez pu faire dans le passé, et Balena Etcher (en anglais) ou Raspberry Pi Imager sont de bons choix.

Pour notre exemple, nous allons utiliser Imager :

• Téléchargez la version pour l’ordinateur que vous utilisez pour créer la carte SD : disponible ici.
  (Notez que vous pouvez également faire cela sur Raspberry Pi OS si vous le souhaitez).
• Installez le fichier téléchargé et lancez le logiciel.
• Vous verrez la fenêtre d’accueil d’Imager.
  
• Cliquez sur CHOOSE OS et sélectionnez Use Custom en bas de la liste.
  
  Il vous demandera de localiser l’image que vous souhaitez écrire sur la carte SD.
  Accédez à votre dossier Téléchargements (ou là où vous avez enregistré l’image Debian) et sélectionnez-la.
• Ensuite, cliquez sur CHOOSE STORAGE pour sélectionner où vous souhaitez écrire l’image.
  
• Une fois terminé, cliquez sur NEXT pour écrire l’image.
  (Si on vous demande d’appliquer les « paramètres de personnalisation du système d’exploitation », sélectionnez NO.)

Cela ne prendra pas longtemps, car il n’y a pas beaucoup de données à écrire puisque l’image ne contient pas d’interface graphique ni de logiciels. Nous installerons cela plus tard !

Voilà pour la version courte, mais si vous avez besoin d’un tutoriel complet sur Raspberry Pi Imager, cliquez simplement sur le lien pour plus de détails.

Remarque : J’ai tenté de flasher sur une clé USB pour le stockage au lieu d’une carte SD, et j’ai eu beaucoup d’erreurs d’E/S. Je suppose que l’alimentation requise par la clé USB n’est pas bien gérée par Debian. Vous aurez peut-être plus de chance, mais je recommande d’utiliser une carte SD pour ce tutoriel.

Premier démarrage

Une fois la carte SD vérifiée, elle est prête à démarrer. Placez la carte SD dans l’emplacement SD de votre Pi et allumez-le. Le premier démarrage prend un peu de temps car il doit faire quelques vérifications, mais vous obtiendrez finalement un prompt très simple :

Debian GNU/Linux trixie/sid rpi4-20231111 tty1
rpi4-20231111 login:

Vos numéros peuvent être différents, mais rpi4-20230101 est le nom actuel de l’ordinateur. Nous pouvons le changer plus tard si vous le souhaitez. La partie login attend que nous tapions un nom d’utilisateur, et le seul configuré est root.

• Login par défaut : root
• Mot de passe par défaut : <aucun>

Une fois que vous entrez root et appuyez sur Entrée, vous obtiendrez plus d’infos sur la distribution et elle indiquera qu’elle ne dispose d’aucune garantie, puis un prompt :

root@rpi4-20231111:~#

Root est l’utilisateur qui a le contrôle total du système Linux et a accès à tout, donc vous devez faire attention. Sur Raspberry Pi OS, nous avons généralement la commande sudo qui peut être utilisée quand quelque chose nécessite un accès root, sans avoir à ouvrir le système.

Debian explique sur la page de téléchargement de Raspberry Pi qu’ils ont fait ce choix en toute conscience car ils s’attendent à ce que vous ayez besoin d’accéder au système et ne voulaient pas avoir à suivre ou publier des noms d’utilisateur et des mots de passe. Nous devons être prudents avec les prochaines étapes.

Lié : Comment résoudre : “commande sudo introuvable” sur Linux (2 raisons) (en anglais)

Configuration avancée de Debian sur Raspberry Pi

Maintenant que nous avons démarré, nous avons encore du travail à faire pour le rendre utilisable au quotidien.

Activer le Wi-Fi

Si vous avez une connexion Ethernet, vous pouvez sauter cette étape. Sinon, la première chose à faire est d’établir une connexion réseau avec le Wi-Fi.

Tous les fichiers dont nous avons besoin sont là, mais nous devons donner des détails sur votre réseau Wi-Fi, car clairement Debian ne les aurait pas inclus dans la configuration.

• Pour y accéder, nous utilisons cette commande :
  nano /etc/network/interfaces.d/wlan0
• Supprimez les symboles # devant les lignes commençant par allow-hotplug wlan0 pour les décommenter.
  (J’ai laissé celui pour inet6).
• Remplacez les informations d’exemple suivant wpa-ssid par le nom de votre réseau Wi-Fi (SSID).
• Remplacez les informations d’exemple après wpa-psk par votre mot de passe Wi-Fi.
  
• Une fois terminé, vous pouvez redémarrer votre système :
  reboot
Pas besoin de sudo car nous sommes root. En fait, sudo n’est pas disponible par défaut.
• Une fois cela fait, et que vous vous reconnectez, vous devriez pouvoir faire :
  apt update

Si vous avez une connexion Internet via votre Wi-Fi, cela vérifiera les dépôts réseau pour voir ce qui doit être mis à jour. Si votre connexion Internet ne fonctionne pas, vous recevrez des messages d’erreur indiquant qu’ils ne peuvent pas être atteints. Revenez et vérifiez vos paramètres si cela se produit.

Une fois que vous avez rafraîchi les paquets, il est bon d’utiliser la commande de mise à niveau pour installer des paquets à jour avant de continuer :
apt upgrade

Si les commandes Linux ce n’est pas trop votre truc, n’hésitez pas à jeter un œil à cet article qui vous explique les commandes qu’il faut absolument connaître. Je vous donne aussi une antisèche à télécharger pour les avoir toujours sous la main !

Configurer le clavier

Si vous devez changer la disposition du clavier, cela peut se faire avec :
dpkg-reconfigure keyboard-configuration

Dans la dernière version de Debian, cela n’est pas disponible par défaut, vous devez l’installer manuellement, avec :
apt update
apt install keyboard-configuration console-setup

Un premier écran vous demandera d’abord le type de clavier que vous avez, puis un deuxième vous demandera la langue.

Si vous apportez des modifications et que cela ne fonctionne pas tout de suite, vous devez les appliquer avec cette commande :
setupcon

Ajouter un utilisateur

Pour ne pas avoir à continuer à se connecter en tant qu’utilisateur root, et pour pouvoir se connecter une fois que nous installons le bureau graphique, nous devons créer un utilisateur. Cela peut se faire avec cette commande :
adduser <nom_utilisateur>
Essayez d’éviter « admin », « pi » ou des noms évidents pour des raisons de sécurité.

Vous recevrez une réponse indiquant qu’un nouvel utilisateur est en cours d’ajout et qu’un groupe est créé pour cet utilisateur, ainsi qu’un répertoire personnel. C’est tout à fait normal, et si vous pensez au répertoire personnel sur le Raspberry Pi, l’utilisateur a son propre répertoire personnel avec tous vos fichiers.

Il vous demandera ensuite un mot de passe et de confirmer votre mot de passe choisi.

Ensuite, il demandera un nom complet. Je recommande de lui donner quelque chose car ce sera le compte utilisateur que le bureau graphique utilisera pour vous aider à vous connecter.

Il demandera ensuite plusieurs autres informations comme le numéro de chambre et les numéros de téléphone. Vous pouvez simplement appuyer sur Entrée ici, ou les remplir si vous le souhaitez. La dernière question est « les informations sont-elles correctes ? » Appuyez sur y et vous serez renvoyé au prompt.

Alors que nous y sommes, c’est un bon moment pour changer (ou plus précisément, ajouter) le mot de passe root. Entrez la commande passwd au prompt :
passwd

Comme nous sommes toujours connectés en tant qu’utilisateur root, c’est le mot de passe que nous changeons. Il vous demandera le nouveau mot de passe, puis de le répéter.

Une fois terminé, ce mot de passe sera défini pour se connecter ainsi que chaque fois que vous aurez besoin d’un mot de passe root.

Plus de détails ici : Comment créer un nouvel utilisateur sur Raspberry Pi ?

Autoriser sudo pour votre utilisateur

Le système doit savoir que cet utilisateur est autorisé à utiliser sudo pour exécuter des commandes. Voici comment autoriser les commandes administratives à votre nouvel utilisateur.

Assurez-vous d’être root ou passez à celui-ci avec :
su - root

Cela changera l’utilisateur en root, car l’utilisateur Pi n’a pas encore la permission de le faire. On vous demandera le mot de passe root si vous en avez défini un à l’étape précédente.

Ensuite, installez le paquet « sudo », qui n’est pas disponible par défaut sur Debian :
apt install sudo

Ensuite, donnez des privilèges pour utiliser « sudo » à votre nom d’utilisateur :
usermod -aG sudo <nom_utilisateur>
Remplacez <nom_utilisateur> par l’utilisateur que vous avez créé (‘pat’ par exemple).

Cela ajoutera l’utilisateur au groupe sudo afin qu’il ait maintenant la permission d’émettre des commandes sudo. Vous devriez maintenant pouvoir revenir à l’utilisateur normal en tapant :
exit

Espérons que tout fonctionnera normalement. Si vous voulez essayer, vous pouvez émettre n’importe quelle commande sudo, y compris :
sudo apt update

Définir le nom d’hôte

Si vous continuez à recevoir une erreur disant « Impossible de résoudre xxxxx, nom d’hôte ou service inconnu », vous pouvez le corriger en donnant un nom à votre système.

• Tout d’abord, changez le nom d’hôte avec :
  sudo hostnamectl set-hostname rpitips
  (Remplacez ‘rpitips’ par le nom que vous souhaitez donner à votre système).
• Ensuite, ouvrez le fichier hosts :
  sudo nano /etc/hosts
• Et ajoutez une ligne pour identifier votre nouveau nom de système :
  127.0.0.1 rpitips
  (remplacez ‘rpitips’ par le nom que vous avez choisi)
  

Maintenant, lorsque vous mettez à jour ou mettez à niveau, le message d’erreur devrait avoir disparu.

Ajouter l’environnement de bureau

À ce stade, nous avons suffisamment d’informations pour ajouter l’environnement de bureau, mais vous aurez aussi des choix à faire ici. Après avoir effectué une mise à jour complète du système, entrez cette commande :
sudo tasksel

Elle fera apparaître une fenêtre avec une liste d’environnements de bureau que vous pouvez installer. Il y a plusieurs options, allant de choix légers comme MATE et LXDE à des environnements plus lourds comme Plasma et Gnome.

Gnome est le paquet par défaut si vous téléchargez un installateur complet de Debian pour d’autres ordinateurs (vous pouvez trouver mon tutoriel dédié ici, en anglais), mais comme nous n’avons que les bases, nous devons en installer un, et nous pouvons choisir. J’ai installé Gnome, et il fonctionne raisonnablement bien sur le Pi 4, même s’il est considéré comme un environnement assez lourd.

LXDE est celui sur lequel Raspberry Pi OS est basé, donc il sera le plus familier, même s’il aura encore un aspect assez différent de l’ancien Pi OS auquel vous êtes habitué. L’avantage est que vous pouvez en installer plusieurs, si vous avez de l’espace, et choisir celui que vous souhaitez utiliser au démarrage.

Vous ne savez pas lequel choisir ? Trouvez mes environnements de bureau préférés ici (en anglais).

Gardez un œil sur l’installation pendant quelques minutes, car elle apparaîtra et demandera quelle langue doit être installée. Une fois que vous aurez répondu, vous pouvez simplement laisser faire.

Une fois installé, un redémarrage devrait vous amener à l’écran de connexion graphique, et vous devriez voir le nom complet de l’utilisateur que nous avons entré plus tôt comme choix. Connectez-vous, et vous obtiendrez l’écran de bureau.

À ce stade, n’hésitez pas à explorer l’environnement de bureau. Vous voudrez peut-être regarder toutes les applications, les paramètres et sous alimentation, ajuster le temps avant que l’écran ne s’éteigne – 5 minutes n’est pas assez long à mon goût.

Vous verrez de nombreux programmes et commandes familiers, mais aussi beaucoup de nouveaux, en particulier dans les paramètres. Gnome est très personnalisable, et presque chaque élément de l’interface utilisateur peut être ajusté à votre goût.

Installer un autre bureau

Si vous souhaitez essayer un autre environnement de bureau, il est facile d’en ajouter d’autres.

• Ouvrez une fenêtre de terminal et tapez :
  sudo tasksel
• Vous obtiendrez la même fenêtre avec des choix que vous pouvez sélectionner.
• Choisissez-en un ou plusieurs et attendez que l’installation soit terminée.

Après l’installation, vous devrez redémarrer. Sur l’écran de connexion, choisissez le nom d’utilisateur, puis dans le coin inférieur droit, il y a un menu de paramètres (qui ressemble à un engrenage).

Vous trouverez la liste de tous les environnements de bureau que vous avez à disposition. Il y a un Gnome classique ainsi que le Gnome qui est le nouveau standard.

À partir de là, c’est Debian comme d’habitude, vous ne devriez pas être perdu si vous l’avez déjà utilisé.

Et vous pouvez trouver de nombreux tutoriels sur Debian sur ce site. Que vous l’utilisiez sur un Raspberry Pi, un PC ou un serveur, il fonctionne de la même manière. Voici quelques suggestions :

• Comment installer Bitwarden en toute sécurité sur Linux (Debian/Ubuntu)(en anglais)
• Héberger un serveur Minecraft sur Debian : le guide ultime (en anglais)
• Installer Nextcloud sur Debian (en anglais)
• Comment installer PyCharm sur Debian ? (Avec raccourci) (en anglais)

Vidéo

Debian est l’une des anciennes distributions Linux qui a résisté à l’épreuve du temps. C’est une distribution très pertinente car elle est à la base de tant d’autres distributions. Cependant, il est difficile de la recommander pour autre chose qu’une expérience amusante, et elle n’est pas destinée aux débutants. Si vous êtes curieux et souhaitez jouer avec Debian, amusez-vous.

Si vous débutez et voulez une nouvelle distribution ou un autre type d’environnement de bureau, je vous suggérerais d’utiliser l’un des nombreux qui sont préconfigurés pour le Pi, comme Ubuntu ou Twister. Amusez-vous !

Ressources supplémentaires pour votre Raspberry Pi

Initiation au Raspberry Pi en vidéo
Si vous débutez et voulez passer rapidement à la vitesse supérieure, j’ai exactement ce qu’il vous faut.
Regardez ma formation vidéo qui vous aidera à démarrer du bon bien, choisir votre matériel, installer les meilleures applications et vous lancer directement dans vos premiers projets avec mon aide.
Regarder les vidéos dès maintenant

Maîtrisez votre Raspberry Pi en 30 jours
Vous avez besoin de plus ? Si vous êtes à la recherche des meilleures astuces pour devenir expert sur Raspberry Pi, ce livre est fait pour vous. Développez vos compétences sous Linux et pratiquez via de nombreux projets en suivant mes guides étape par étape. 10% de remise aujourd’hui !
Télécharger le livre au format PDF ici

Maîtrisez Python sur Raspberry Pi
Pas besoin d’être un génie pour coder quelques lignes pour votre Raspberry Pi.
Je vous apprends juste ce qu’il faut sur Python afin de réaliser n’importe quel projet. La seconde partie du livre est d’ailleurs consacrée à des exemples de projets où je vous guide pas à pas.
Ne perdez pas de temps, apprenez le strict nécessaire et économisez 10% avec ce lien :
Télécharger maintenant

Autres ressources pour profiter de votre Raspberry Pi
J’ai regroupé toutes mes recommandations de logiciels, sites utiles et de matériel sur cette page de ressources. Je vous invite à la consulter régulièrement pour faire les bons choix et rester à jour.
Visiter les pages ressources