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


Pop!_OS est une nouvelle distribution dans le monde Linux, basée sur Ubuntu et utilisant GNOME comme environnement de bureau. Sa sortie sur PC a fait sensation, et elle est maintenant disponible sur Raspberry Pi. Je l’ai testée pour vous, et je vais vous donner toutes les étapes pour l’installer.

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

Passons directement à la partie installation. Ce n’est pas très compliqué, mais cela peut être un peu différent de ce à quoi vous êtes habitué. Continuez à lire cet article pour ne pas manquer une étape importante.

À propos, si vous êtes novice sur Raspberry Pi et que vous souhaitez accélérer vos premiers pas (tout en vous amusant), n’hésitez pas à télécharger mon e-book « Maitrisez Raspberry Pi en 30 jours« . Il s’agit d’un défi de 30 jours au cours duquel vous apprendrez une nouvelle compétence chaque jour. Vous économiserez du temps et de l’argent et pourrez enfin apprécier cet appareil passionnant qu’est le Raspberry Pi. Je vous offre d’ailleurs 10% de remise aujourd’hui en utilisant ce lien !

Installation de Pop!_OS sur Raspberry Pi

Téléchargez mon antisèche !
Format PDF pratique, avec les 74 commandes à retenir pour maîtriser son Raspberry Pi.

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

  • Téléchargez l’image depuis le site officiel.
  • Flashez-la sur une carte SD ou un disque USB/SSD.
  • Terminez le premier assistant de démarrage.

Je vais maintenant vous 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 livrer leurs ordinateurs avec ce système installé dessus.

Vous pouvez également télécharger Pop!_OS et l’installer sur n’importe quel ordinateur (ou Raspberry Pi !).

Il n’y a pas de site web 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 ».
  • Une fenêtre pop-up s’affiche, cliquez sur le lien pour la version Raspberry Pi :

Pour le PC, vous avez le choix entre la version LTS de Pop!_OS ou la dernière version. LTS signifie « Long-Term Support » et comme pour Ubuntu, l’idée est de recevoir les mises à jour de sécurité pendant une plus longue période.

Cette version LTS est généralement recommandée pour les serveurs et les appareils critiques. Sur Raspberry Pi, vous pourrez probablement installer la dernière version (de toute façon, lorsque j’écris ces lignes, LTS n’est pas encore disponible pour Raspberry Pi).

L’image Pop!_OS est construite pour l’architecture ARM64, mais 4 Go de RAM sont recommandés, limitant son utilisation au Raspberry Pi 4 ou 400. Je n’ai pas testé sur le Pi 3, mais je suppose que ça doit ramer, comme pour la plupart des variantes d’Ubuntu sur ce modèle.

Flasher Pop!_OS sur votre carte SD

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

Si vous n’êtes pas pressé, vous pourrez utiliser l’outil auquel vous êtes habitué, le processus sera similaire :

  • Si nécessaire, téléchargez Balena Etcher à partir de ce lien et installez-le sur votre PC.
    C’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 votre disque USB dans votre ordinateur.
    Cliquez sur « Select Target » et assurez-vous de choisir l’appareil que vous voulez utiliser.
    Le démarrage USB est géré, à condition que votre Raspberry Pi soit préparé pour cela (J’explique tout dans mon cours si nécessaire).
  • Une fois prêt, cliquez sur « Flash ! » pour lancer la copie des fichiers.

Après quelques minutes, le système est installé sur votre appareil, et vous pourrez à présent 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 de Pop!_OS lancera un assistant qui vous aidera à configurer votre nouveau système :

  • Insérez votre carte SD ou votre disque USB dans votre Raspberry Pi.
    Si vous utilisez un disque USB, pensez à utiliser les ports USB bleus, c’est plus rapide.
  • Mettez le Raspberry Pi sous tension.
    Branchez un écran, une souris et un clavier, comme d’habitude.
  • Suivez l’assistant, en configurant d’abord votre disposition de clavier et votre fuseau horaire :
  • À ce stade, vous pourrez également configurer votre connexion sans fil si nécessaire.
  • L’assistant vous demandera ensuite si vous souhaitez connecter vos comptes en ligne (Google, Nextcloud, Microsoft, etc.). Vous pourrez toujours le faire plus tard, ce n’est pas nécessaire pour le moment.
  • Vous allez enfin créer le premier compte pour l’utilisateur principal.

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

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

  • Configuration du dock : pas de dock, le dock s’étend jusqu’aux coins ou pas.
  • Barre du haut : utiliser ou non les boutons d’espaces de travail et d’applications. Position de la date et des notifications.
  • Il vous expliquera ensuite la super clé et les gestes que vous pourrez utiliser pour gagner du temps dans votre utilisation quotidienne.
  • Et, enfin, choisissez entre un thème clair et un thème foncé.

Globalement, le processus de démarrage sur Pop!_OS est parfait. Nous n’avons pas la phase d’installation qui est plutôt ennuyeuse sur la plupart des autres systèmes basées sur Ubuntu. Pop!_OS est rapidement prêt à utiliser et 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. Je vais, maintenant, vous donner quelques conseils supplémentaires avant de résumer mon avis sur cette nouvelle distribution pour Raspberry Pi.

Maîtrisez Raspberry Pi en 30 jours
10% de remise aujourd'hui !
Téléchargez le livre numérique.
Découvrez les secrets du Raspberry Pi à travers un challenge de 30 jours.

Aperçu de Pop!_OS sur Raspberry Pi

Dans l’ensemble, la distribution Pop!_OS est prometteuse. Basée sur Ubuntu 64 bits pour les dernières applications et des performances décentes, utilisant GNOME pour un bureau d’apparence moderne, et avec plusieurs optimisations qui pourraient la rendre encore meilleure qu’Ubuntu pour notre Raspberry Pi.

Aperçu de l’interface

L’interface de Pop!_OS est construite sur l’environnement de bureau GNOME. Vous aurez donc accès à toutes les bonnes choses de GNOME, mais vous y trouverez aussi quelques ajouts sympathiques. Cela le rendra encore plus agréable à utiliser qu’une configuration Ubuntu par défaut.

Par exemple, le dock est vraiment une chose qui manque à la configuration par défaut de GNOME. 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 toute la liste (qui aura des tonnes de pages après quelques mois d’utilisation).

Pop!_OS comprend un lanceur avec un moteur de recherche (comme sur Ubuntu), mais les applications sont également triées par catégorie, ce qui les rend globalement plus faciles à trouver. De plus, 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 est généralement des performances un peu justes sur Raspberry Pi. Comme Pop!_OS est uniquement recommandé pour les 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 ça fonctionne correctement.

Configuration du 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 avec un tri par catégorie et un moteur de recherche pour trouver rapidement quelque chose.

Je ne pense pas qu’il y ait quoi que ce soit de personnaliser par System76 ici, mais c’est déjà très bien avec l’environnement GNOME par défaut, alors pourquoi le changer ?

L’outil de configuration de GNOME est celle que j’ai préférée après avoir testé tous les principaux environnements de bureau. Vous pouvez lire la comparaison complète ici si vous êtes intéressé.

Applications : applications par défaut & installation

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

Trouver et installer de nouvelles applications sur certaines distributions Linux est souvent un cauchemar. Si vous ne disposez que de la ligne de commande (ou d’un outil graphique pour celle-ci), vous obtiendrez des milliers de résultats pour n’importe quelle recherche, et il peut être difficile de trouver celle que vous recherchez.

Sur certaines distributions modernes, un app store est inclus. Ca ne fonctionne pas toujours bien sur Raspberry Pi. En effet, certaines applications ne prennent pas en charge l’architecture ARM ou Raspberry Pi n’est pas entièrement supporté par les développeurs. Quoi qu’il en soit, j’ai eu quelques problèmes avec Pop!_OS aussi, mais ce n’était pas ma pire expérience du tout.

Lorsque vous ouvrez cette application pour la première fois, commencez par effectuer les mises à jour du système et des logiciels. Vous recevrez probablement une notification au premier démarrage. Si ce n’est pas le cas, vous pourrez aller dans l’onglet « Installed » ou utiliser le menu pour tout mettre à jour sur votre système.

Une fois que c’est fait, vous pouvez parcourir le catalogue à la recherche de nouvelles applications à installer. J’ai, par exemple, testé l’installation de Visual Studio Code. Cela n’a pas fonctionné, ni avec le DEB, ni avec Flatpak. Contrairement à VLC, qui a lui bien fonctionné. Donc, je suppose que certaines applications ne sont pas disponibles pour Raspberry Pi, mais ce n’est pas filtré dans le résultat (juste une supposition).

Globalement, il 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. Si cela ne fonctionne pas, vous pourrez toujours utiliser les mêmes méthodes que sur Raspberry Pi OS (sudo apt est votre ami !).

Téléchargez mon antisèche !
Format PDF pratique, avec les 74 commandes à retenir pour maîtriser son Raspberry Pi.
Initiation au Raspberry Pi
10% de remise aujourd'hui !
Visionnez ma formation vidéo pour démarrer du bon pied.
Découvrez le Raspberry Pi, le matériel, ses logiciels particuliers et créez vos 5 premiers projets avec moi.

Mon avis 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, nous devons donc être indulgents avec les développeurs. Ils vont probablement prendre en compte les premières impressions de la communauté Raspberry Pi et améliorer cette nouvelle distribution à partir de là. Mais, c’est déjà une excellente distribution Linux à essayer, surtout pour l’utilisation du bureau et le codage.

J’ai effectué quelques tests de performance 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 identifié, 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 performanceRaspberry Pi OS (32-bit)Pop!_OS
Temps de démarrage21s60s
Temps d’ouverture de Wikipédia20s13s
Temps de démarrage de LibreOffice Writer8s5s
Fluidité sur YouTubeExcellentDécent

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

Au passage, je suis assez impressionné par les résultats que j’ai obtenus avec Firefox. En général, lorsque Firefox est installé par défaut, je mets un mauvais score 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 un problème du tout, bien joué !

En résumé, si vous recherchez une distribution solide pour l’utilisation d’un ordinateur de bureau, je vous recommande d’essayer Pop!_OS. À mon avis, elle est meilleure 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, sans vouloir vous offenser). Et l’interface est bien 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 :

Maîtrisez Python sur Raspberry Pi
10% de remise aujourd'hui !
Téléchargez le livre numérique.
Envie d'aller un peu plus loin que faire clignoter une LED ? Vous avez besoin de ce livre pour passer à des projets plus avancés.

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 ou 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


Ce tutoriel ne marche plus à 100%? Prévenez-moi pour que je le mette à jour!

Patrick Fromaget

Je suis l'auteur principal et le créateur de RaspberryTips. Mon but est de vous aider sur tous vos problèmes qui concernent Raspberry Pi en publiant des guides détaillés et des tutoriels rapides. Dans la vraie vie, je suis administrateur système (Linux principalement) avec une solide expérience dans le développement web.

Recent Posts

Promo : Maîtrisez votre Raspberry Pi