Comment Savoir Quel OS Tourne Sur Un Raspberry Pi ?


Vous est-il déjà arrivé de ne plus vous souvenir du système d’exploitation installé sur votre Raspberry Pi ? Ou peut-être l’avez-vous fait installer par quelqu’un d’autre ?
Aujourd’hui, je vais vous montrer comment vous pouvez trouver rapidement la version du système d’exploitation installée sur votre appareil.

Le moyen le plus simple d’obtenir des informations sur le système d’exploitation exécuté sur un Raspberry Pi est d’utiliser la commande suivante : cat /etc/os-release.
Cette commande affiche le nom et la version du système d’exploitation.

Dans ce tutoriel, je vais vous montrer comment utiliser cette commande et comment lire les résultats. Je vous montrerai également comment identifier ce qui s’exécute sur votre Raspberry Pi.

À 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 !

Quel est le système d’exploitation en cours d’exécution ?

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

Il existe beaucoup de commandes pour trouver la version du système d’exploitation du Raspberry Pi installée.
Vous pouvez même la trouver sur l’image d’arrière-plan ou sur le modèle du Raspberry Pi que vous utilisez.
Mais la meilleure façon d’obtenir toutes ces informations est d’exécuter une seule commande :

  • Ouvrir un terminal.
    Si vous êtes sur Desktop, il y a un raccourci dans la barre d’outils, ou sous Accessoires dans le menu principal.
    Vous pouvez aussi vous connecter à votre Pi avec SSH.
  • Tapez la commande suivante :
    cat /etc/os-release
  • Vous devez avoir quelque chose comme suit :

Dans mon cas, le système d’exploitation installé est Raspbian (Raspberry Pi OS) version 10 (aka Buster). Il s’agit de la dernière version disponible au moment où j’écris cet article.
Une nouvelle version sort environ tous les deux ans, donc Raspbian 11 devrait être disponible bientôt.

PRETTY_NAME vous donne tout ce que voulez savoir en une seule ligne.
NAME est toujours Raspbian, même si le système d’exploitation a été renommé Raspberry Pi OS récemment. Donc, c’est la même chose.
La version et le nom de code correspondent à ceux de Debian, je vais vous donner plus de détails à ce sujet dans la prochaine section.

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.

Historique des versions de Raspberry Pi OS

Raspberry Pi OS est donc basé sur Debian. Debian publie une nouvelle version tous les deux ans environ.
Chaque version incrémente l’ID de la version et s’accompagne d’un nouveau nom de code.
Voici un tableau avec l’historique des versions de Raspberry Pi OS pour vous aider à déterminer si la version que vous avez est ancienne ou non.

Version de DebianNom de codeDate de Sortie
7Wheezy2013-09-27
8Jessie2015-09-28
9Stretch2017-08-17
10Buster2019-07-10
11Bullseye2021-11-08
Historique des versions de Raspberry Pi OS

Notez bien que toutes les versions ne sont pas compatibles avec tous les modèles de Raspberry Pi. Par exemple, le Raspberry Pi 4 ne peut fonctionner que sur Raspberry Pi OS 10 ou plus, et le Raspberry Pi 3B+ nécessite Raspberry Pi OS 9 ou 10, etc.
Vous pouvez trouver tous les détails sur Wikipedia.

Si vous voulez mettre à jour votre système de Stretch à Buster par exemple, vous devez mettre à jour votre liste de dépôts et mettre à niveau votre système :

  • Modifier les apt sources :
    sudo nano /etc/apt/sources.list
  • Remplacer le nom de la version par la plus récente.
    Par exemple, remplacer « stretch » par « buster ».
  • Sauvegarder et quitter.
  • Faire une mise à niveau complète de votre système :
    sudo apt update
    sudo apt full-upgrade

Je donne plus de détails dans cet article si besoin.

Il existe également un numéro de sous-version pour Debian, avec d’importantes mises à jour régulières (corrections de bugs, mises à jour de sécurité, etc.). Si cela vous intéresse, vous pouvez afficher la version exacte installée avec la commande :
cat /etc/debian_version
Dans mon cas, j’ai la version « 10.7 », qui n’est pas la version la plus récente.
Si vous n’êtes pas à jour, vous pouvez faire la mise à jour avec :
sudo apt update
sudo apt upgrade

La même commande m’a ensuite donné la version 10.8 :).

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 !

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 Raspberry Pi fonctionne-t-il avec un système d’exploitation 64 ou 32 bits ?

Nous avons vu comment déterminer la version de Raspberry Pi installée, mais vous pouvez également rechercher d’autres détails. Par exemple, les commandes précédentes ne vous disent pas si vous exécutez une version 32 ou 64 bits.

Pour obtenir l’architecture utilisée sur votre appareil, vous pouvez exécuter cette commande :
uname -m

Vous pouvez obtenir l’un des résultats suivants :

  • Si c’est ARMv3 to v7 : Vous utilisez un système d’exploitation 32 bits.
  • ARMv8 ou aarch64 : Vous utilisez un système d’exploitation 64 bits.

Si votre modèle de Raspberry Pi est compatible avec une architecture 64 bits, vous pouvez télécharger une image 64 bits en allant sur ce lien.

Pour l’instant, la Fondation Raspberry Pi n’inclut pas cette version sur son site web et sur Raspberry Pi Imager.
Probablement parce qu’elle est encore en version bêta. Vous pouvez l’essayer, mais attendez-vous à quelques bugs et des problèmes de stabilité. J’explique tout en détail dans cet article concernant la version 64 bits de Raspberry Pi OS.

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.

Et si ce n’est pas Raspberry Pi OS qui est utilisé ?

Comme vous le savez probablement, Raspberry Pi OS (ex Raspbian) n’est pas le seul système d’exploitation qui peut fonctionner sur Raspberry Pi. A ce propos, vous pouvez consulter mes 15 systèmes d’exploitation préférés ici.

Ainsi, si les commandes précédentes ne fonctionnent pas ou n’incluent pas la version du système d’exploitation du Raspberry Pi, c’est probablement parce que vous utilisez un système d’exploitation différent.
Si vous êtes sur un système d’exploitation de type Debian, cela ne devrait pas poser de problème, car la commande fonctionnera et vous donnera toutes les informations nécessaires.

Par exemple, le fichier os-release sur Ubuntu montrera quelques lignes comme suit :
NAME="Ubuntu"
VERSION="18.04.4 LTS (Bionic Beaver)"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu 18.04.4 LTS"
VERSION_ID="18.04"
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
VERSION_CODENAME=bionic
UBUNTU_CODENAME=bionic

Debian, DietPi, Kali Linux, etc. devraient également être assez facile à identifier.
Mais pour être sûr de trouver la solution dans cet article, je vais vous donner d’autres commandes que vous pouvez essayer pour trouver la version exacte du système d’exploitation :

  • LSB Release : affiche les informations sur la distribution en cours d’exécution.
    Par exemple, sur Debian :
    lsb_release -a
    Cette commande affiche des résultats comme suit :
    No LSB modules are available.
    Distributor ID: Debian
    Description: Debian GNU/Linux 9.13 (stretch)
    Release: 9.13
    Codename: stretch
  • Kernel version: montre les informations sur le système.
    uname -a
    Vous obtiendrez un tas d’informations tel que montré ci-dessous :
    Linux raspberrypi 5.4.83-v7l+ #1379 SMP Mon Dec 14 13:11:54 GMT 2020 armv7l GNU/Linux

Le résultat affiche donc le nom de l’hôte, la version du noyau, la date de sortie et l’architecture.
Cela devrait être utile pour trouver quelques indices sur votre système.

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

Conclusion

C’est tout, j’espère que vous avez trouvé ce que vous recherchez dans cet article. La plupart du temps, Raspberry Pi fonctionne sous Raspberry Pi OS, il devrait donc être assez facile de trouver la version exacte avec les informations que je vous ai données.

Pour les autres systèmes d’exploitation, cela peut être plus délicat. Comme je ne peux pas tous les tester, il est difficile de vous donner une solution qui fonctionnera pour tous les cas.
Si vous avez encore des questions, n’hésitez pas à laisser un commentaire afin que je puisse vous aider du mieux que je peux.

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

Black Friday Week: Tout à -40%