Comment installer Pop!_OS sur Raspberry Pi (Guide illustré)

J’étais curieux de tester Pop!_OS sur un Raspberry Pi, surtout depuis qu’il a fait sensation sur PC. Je l’ai donc essayé ! Dans ce guide, je vais vous expliquer tout le processus d’installation et partager ce qui a fonctionné (ou pas) durant mes tests.

Pop!_OS n’est pas disponible dans Raspberry Pi Imager, mais une image peut être téléchargée depuis le site officiel. Vous pouvez ensuite utiliser Imager ou Balena Etcher pour la flasher sur une carte SD ou une clé USB. La configuration de base sera effectuée lors du premier démarrage.

Plongeons directement dans le processus d’installation. Il n’est pas très compliqué mais peut être un peu différent de ce à quoi vous êtes habitué. Lisez la suite pour éviter de manquer une étape importante.

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 !

Installation de Pop!_OS sur Raspberry Pi

Voici les étapes nécessaires pour faire fonctionner Pop!_OS sur un Raspberry Pi :

• Télécharger l’image depuis le site officiel.
• La flasher sur une carte SD ou un disque USB/SSD.
• Compléter l’assistant de premier démarrage.

Je vais maintenant expliquer chaque étape avant de vous donner un aperçu de ce système intéressant.

Télécharger Pop!_OS pour Raspberry Pi

System76 est un fabricant d’ordinateurs, basé aux États-Unis, qui vend divers appareils comme des ordinateurs portables, des ordinateurs de bureau, et des serveurs. Ils ont créé Pop!_OS, une distribution Linux basée sur Ubuntu, pour équiper leurs ordinateurs avec ce système. Vous pouvez aussi télécharger Pop!_OS et l’installer sur n’importe quel ordinateur (ou Raspberry Pi !).

Il n’y a pas de site dédié à Pop!_OS, le téléchargement est disponible sur celui de System76 :

• Allez sur cette page pour télécharger l’image Pop!_OS.
• Cliquez sur Download.
• Sur cette page, descendez jusqu’à la version pour Raspberry Pi et cliquez sur le lien :
  

Pour PC, vous avez le choix entre la version LTS de Pop!_OS ou la plus récente. LTS signifie « Long-Term Support » et comme pour Ubuntu, l’idée est de recevoir des mises à jour de sécurité sur une plus longue période. C’est généralement la version recommandée pour les serveurs et les appareils critiques.

Sur Raspberry Pi, vous pouvez probablement installer la version la plus récente.

L’image Pop!_OS est construite pour l’architecture ARM64, ce qui la rend compatible avec un Raspberry Pi 4 doté 4 Go de RAM. Je n’ai pas testé sur Pi 3, mais je suppose que ce serait trop lent (comme la plupart des versions Ubuntu).

Note pour les propriétaires de Raspberry Pi 5 : En mai 2025, Pop!_OS n’est toujours pas officiellement supporté sur le Pi 5. J’actualiserai cet article quand ce sera le cas.

Flasher Pop!_OS sur la carte SD

Une fois l’image téléchargée sur votre ordinateur, vous pouvez utiliser votre outil préféré pour la flasher sur votre appareil d’installation. Comme expliqué dans une vidéo précédente, Balena Etcher est légèrement plus rapide que Raspberry Pi Imager lorsque vous avez déjà l’image sur votre PC.

Si vous n’êtes pas pressé, vous pouvez utiliser l’outil que vous avez l’habitude d’utiliser, le processus sera similaire :

• Si nécessaire, téléchargez Balena Etcher et installez-le sur votre PC.
  Il est gratuit et disponible pour tous les systèmes d’exploitation.
• Démarrez l’application, l’interface ressemble à ceci :
  

  

• Cliquez sur « Flash from file » et sélectionnez l’image précédemment téléchargée pour Pop!_OS.
• Insérez votre carte SD ou clé USB dans votre ordinateur.
  Cliquez sur « Select Target » et assurez-vous de choisir le périphérique que vous souhaitez utiliser.
  Le démarrage USB est pris en charge, tant que votre Raspberry Pi est préparé pour cela (j’explique tout dans mon cours si besoin).
• Une fois prêt, cliquez sur « Flash! » pour lancer la création du média.

Après quelques minutes, le système est installé sur votre appareil, et nous pouvons maintenant commencer à utiliser le Raspberry Pi.

Premier démarrage avec Pop!_OS sur Raspberry Pi

Comme avec la plupart des distributions Linux, le premier démarrage sur Pop!_OS lancera un assistant pour vous aider avec la configuration de base de votre nouveau système :

• Insérez votre carte SD ou votre clé USB dans votre Raspberry Pi.
  Si vous utilisez une clé USB, n’oubliez pas d’utiliser les ports USB bleus, ils sont plus rapides.
• Mettez le Raspberry Pi sous tension.
  Brancher un moniteur, une souris et un clavier, comme d’habitude.
• Suivez l’assistant en configurant d’abord la disposition du clavier et le fuseau horaire :
  

  

• À ce stade, vous pouvez également configurer votre connexion sans fil si nécessaire.
• L’assistant vous demandera alors si vous souhaitez connecter vos comptes en ligne (Google, Nextcloud, Microsoft, etc.). Vous pouvez toujours le faire plus tard, ce n’est pas nécessaire pour l’instant.
• Vous créerez enfin le premier compte pour l’utilisateur principal.
  

  

  Ce premier utilisateur aura automatiquement les privilèges sudo pour l’administration du système.

Une fois cela fait, l’environnement de bureau GNOME sera entièrement chargé, et un autre assistant vous aidera à faire quelques ajustements à l’interface, et vous donnera quelques conseils supplémentaires :

• Configuration du dock : pas de dock, dock qui s’étend jusqu’aux bords ou non.
• Barre supérieure : utiliser ou non les boutons des espaces de travail et des applications. Position de la date et des notifications.
• Il va ensuite expliquer la touche super et les gestes que vous pouvez utiliser pour gagner du temps dans votre utilisation quotidienne.
• Et enfin, choisir entre un thème clair et sombre.

Dans l’ensemble, le processus d’accueil sur Pop!_OS est fluide. Nous n’avons pas la phase d’installation assez ennuyeuse sur la plupart des autres systèmes basés sur Ubuntu, Pop!_OS est rapidement configuré avec vos préférences.

Si vous êtes habitué à GNOME avec n’importe quelle distribution Linux, vous ne serez pas perdu avec Pop!_OS, mais je vais maintenant vous donner quelques conseils avant de résumer mes réflexions sur cette nouvelle distribution pour Raspberry Pi.

Résoudre les problèmes

Comme indiqué sur sa page de téléchargement, « Pop!_Pi pour Raspberry Pi 4 est un aperçu technologique uniquement – des bugs sont garantis ». Et comme promis, j’ai eu quelques problèmes avec la dernière version.

Un problème majeur était que ma partition racine était immédiatement pleine, ce qui a fait planter le système. Il s’avère que l’installateur d’image alloue 8 Go pour la partition root, et elle est immédiatement remplie par les mises à jour initiales du système au premier lancement.

Voici comment j’ai résolu le problème :

• Laissez votre câble Ethernet débranché et ne vous connectez pas au Wi-Fi pendant la configuration.
  Cela empêche le système de télécharger automatiquement les fichiers de mise à jour.
• Ouvrez l’outil Disks depuis le menu des applications.
  
• Sélectionnez votre carte SD, et effectuez un clic droit sur la partition principale pour faire apparaître le menu contextuel.
  
• Choisissez Resize et étendez la partition principale à la capacité restante de votre carte SD.

Une fois ma partition principale correcte, je me suis connecté à Internet et j’ai mis à jour le système comme indiqué dans la section suivante.

J’espère que cela résout le problème pour vous si vous avez rencontré ce problème sur cette version.

Aperçu de Pop!_OS sur Raspberry Pi

Dans l’ensemble, la distribution Pop!_OS est prometteuse. Elle repose sur Ubuntu 64 bits pour les dernières applications et des performances correctes, utilise GNOME pour un bureau au look moderne, avec plusieurs optimisations qui pourraient la rendre encore meilleure que la distribution Ubuntu originale pour notre Raspberry Pi.

Aperçu de l’interface

L’interface de Pop!_OS est construite sur l’environnement de bureau GNOME. Vous profiterez de ses avantages, mais aussi de quelques ajouts intéressants, rendant son utilisation encore plus agréable qu’une configuration Ubuntu par défaut.

Par exemple, le dock est vraiment quelque chose qui manque dans une configuration GNOME par défaut. J’aime pouvoir lancer une application rapidement, surtout celles que j’utilise souvent. Si vous avez un menu principal, c’est bien, mais sur Ubuntu, par exemple, vous devez ouvrir la liste des applications et ensuite trouver celle que vous voulez dans la liste complète (qui aura des tonnes de pages au fil du temps).

Pop!_OS inclut un lanceur avec un moteur de recherche (comme sur Ubuntu), mais les applications sont également triées par catégorie, ce qui les rend plus faciles à trouver en général. Et un dock est présent par défaut, pour ouvrir rapidement RaspberryTips avec votre navigateur web préféré, par exemple :-).

Le problème avec GNOME se situe généralement au niveau des performances. Comme Pop!_OS est seulement recommandé pour le Raspberry Pi 4 avec 4 ou 8 Go de RAM, ce n’est pas un gros problème. Je ne peux pas dire si c’est plus rapide que sur Ubuntu ou Debian, mais cela fonctionne correctement.

Configuration système

La configuration du système sur Pop!_OS se fait via cette belle interface tout-en-un. Vous trouverez tous les paramètres dans la même application, tout est trié par catégorie et vous aurez un moteur de recherche pour trouver rapidement ce que vous voulez.

Je pense que System76 n’a rien personnalisé ici, mais comme c’est déjà excellent avec l’environnement GNOME par défaut, pourquoi changer ?

L’application de paramètres sur GNOME est ma préférée après avoir testé tous les principaux environnements de bureau. Vous pouvez lire la comparaison complète ici (en anglais) si vous êtes intéressé.

Applications : applications par défaut et installation

Par défaut, Pop!_OS est fourni avec Firefox, LibreOffice, et quelques autres outils. Le minimum pour commencer, mais vous aurez probablement besoin d’installer plus d’applications en fonction de vos besoins et objectifs avec ce système.

Rechercher et installer de nouvelles applications sur certaines distributions Linux est souvent un cauchemar. Si vous avez seulement la ligne de commande (ou un outil graphique), vous obtiendrez des milliers de résultats pour toute recherche, et il peut être difficile de trouver le paquet que vous cherchez.

Sur certaines distributions modernes, une boutique d’applications est incluse. Ce n’est pas toujours fonctionnel sur Raspberry Pi, car certaines applications ne supportent pas l’architecture ARM ou le Raspberry Pi n’est pas entièrement pris en charge par les développeurs. Quoi qu’il en soit, j’ai aussi eu quelques problèmes avec Pop!_OS, mais ce n’était pas du tout ma pire expérience.

Lorsque vous ouvrez cette application pour la première fois, commencez par faire les mises à jour système et logicielles. Vous recevrez probablement une notification au premier démarrage. Sinon, vous pouvez aller dans les onglets « Installed » ou utiliser le menu pour tout mettre à jour sur votre système.

Une fois terminé, vous pouvez parcourir l’ensemble du catalogue pour trouver des applications à installer. Par exemple, j’ai testé l’installation de Visual Studio Code. Cela n’a pas fonctionné, ni avec la méthode d’installation DEB ni Flatpak. Mais quand j’ai essayé VLC, cela a bien fonctionné. Donc, je suppose que certaines applications ne sont pas disponibles pour Raspberry Pi, mais ce n’est pas filtré dans les résultats (juste une supposition).

Dans l’ensemble, c’est beaucoup plus facile d’installer et de mettre à jour des applications sur Pop!_OS que sur la plupart des systèmes d’exploitation. Choisissez une catégorie ou recherchez quelque chose de spécifique, et installez n’importe quelle application en un clic. Et si cela ne fonctionne pas, vous pouvez toujours utiliser les mêmes méthodes que sur Raspberry Pi OS (sudo apt est votre ami !).

Réflexions finales sur Pop!_OS pour Raspberry Pi

Dans l’ensemble, je suis assez satisfait du résultat de Pop!_OS sur Raspberry Pi. C’est leur première version pour cet appareil, donc nous devrions être indulgents avec les développeurs. Ils verront probablement les premières impressions de la communauté Raspberry Pi, et amélioreront les choses à l’avenir. Mais c’est déjà une excellente distribution Linux à essayer, surtout pour une utilisation de bureau et pour la programmation.

Voici une courte vidéo si vous souhaitez voir Pop!_OS en action, en comparant chaque fonctionnalité avec son fonctionnement sur Raspberry Pi OS :

J’ai fait quelques tests de performances pour vous donner une meilleure idée de mon expérience avec Pop!_OS. Globalement, le démarrage du système avec Pop!_OS est beaucoup plus lent que Raspberry Pi OS, mais une fois que vous êtes connecté, tout semble plus rapide. J’ai fait cette comparaison avec Raspberry Pi OS 32 bits pour information, c’est probablement un peu plus rapide sur la dernière version 64 bits (mais ce n’est pas celle qu’ils poussent par défaut).

Test de performance	Raspberry Pi OS (32 bits)	Pop!_OS
Temps de démarrage	21 s	60 s
Temps pour ouvrir Wikipédia	20 s	13 s
Temps pour ouvrir LibreOffice Writer	8 s	5 s
Expérience YouTube	Excellente	Correcte

L’expérience YouTube variera beaucoup en fonction du navigateur que vous utilisez (et d’autres facteurs également). Comme les deux distributions n’utilisent pas le même, ne le prenez pas comme un critère déterminant, vous pouvez installer Chromium sur Pop!_OS et obtenir des résultats similaires.

En passant, je suis assez impressionné par les résultats que j’ai obtenus avec Firefox. En général, quand Firefox est installé par défaut, j’attribue une mauvaise note de performances, car il ne fonctionne généralement pas bien sur Raspberry Pi comparé à d’autres options comme Chromium. Mais sur cette configuration, ce n’est pas du tout un problème, super !

En bref, si vous cherchez une distribution solide pour une utilisation sur un poste de travail, je vous recommande d’essayer Pop!_OS. À mon avis, elle est mieux qu’Ubuntu, et je préfère les systèmes basés sur Debian, donc je n’utiliserais pas Manjaro ou toute autre distribution exotique (c’est seulement un choix personnel, ne le prenez pas mal). Et l’interface est beaucoup plus agréable à utiliser que Raspberry Pi OS.

Vous voulez essayer d’autres distributions Linux similaires ? Lisez ces critiques et guides d’installation pour trouver celle qui vous convient le mieux :

• 15 meilleurs systèmes d’exploitation pour Raspberry Pi (avec illustrations)
• Vous cherchez le meilleur système pour Raspberry Pi ? Essayez « Twister OS »
• Comment installer « Manjaro » sur Raspberry Pi ?
• Meilleur environnement de bureau sur Raspberry Pi (tests & illustrations) (en anglais)
• Raspberry Pi OS vs Ubuntu : Quel est le meilleur pour une utilisation sur un ordinateur de bureau ?

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