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 débutez sur Raspberry Pi et que vous souhaitez accélérer les choses (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 dans lequel vous apprendrez une nouvelle compétence chaque jour. Vous économiserez du temps et de l’argent et pourrez enfin profiter de votre Raspberry Pi à son plein potentiel. Je vous offre d’ailleurs 10% de remise aujourd’hui si vous utilisez ce lien !

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

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 12 (aka Bookwrm). Il s’agit de la dernière version disponible au moment où j’écris cet article.

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.

Pour vous assurer que vous utilisez l’OS Raspberry Pi et non Debian, vous pouvez vérifier ce fichier :
cat /etc/apt/sources.list.d/raspi.list
S’il existe, et qu’il inclut le dépôt de la Raspberry Pi Foundation, vous êtes sur Raspberry Pi OS, avec la version spécifiée à la fin de la ligne :

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 Debian	Nom de code	Date de Sortie
7	Wheezy	2013-09-27
8	Jessie	2015-09-28
9	Stretch	2017-08-17
10	Buster	2019-07-10
11	Bullseye	2021-11-08
12	Bookworm	2023-06-10

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 !

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.

Remarque : il existe un autre moyen de savoir si vous utilisez une édition 64 ou 32 bits. Cette commande est particulièrement utile dans les scripts, car elle renvoie simplement 32 ou 64 :
getconf LONG_BIT

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.

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