Comment vérifier votre version Raspberry Pi et d’autres informations système

Le Raspberry Pi est un ordinateur monocarte populaire et économique avec une tonne de cas d’utilisation passionnants.

Vérifiez la version du Raspberry Pi ou le modèle de carte

Chaque Raspberry Pi est basé sur un modèle ou une version de carte spécifique, tel que Raspberry Pi 5, Raspberry Pi 4, etc. Sur le système d’exploitation Raspberry Pi, de nombreuses informations système se trouvent sous le système de fichiers «/proc».

Si vous souhaitez vérifier votre version de Raspberry Pi, exécutez la commande suivante dans une fenêtre de Terminal :

La sortie affichera le numéro de modèle de la carte de votre Raspberry Pi dont vous aurez probablement besoin si vous souhaitez le remplacer ou si vous avez besoin de composants de rechange. Vous pourriez également avoir besoin de ces informations pour divers projets Raspberry Pi que vous avez en tête.

Vous pouvez également utiliser une autre commande pour vérifier votre version de Raspberry Pi. Tapez la commande suivante et appuyez sur Enter :

La sortie ouvrira l’outil de configuration du logiciel Raspberry Pi et affichera le modèle de carte en haut de la fenêtre, juste en dessous des options du menu.

Créez une machine virtuelle Raspberry Pi.

Vérifiez le modèle du processeur Raspberry Pi

Dans le système de fichiers « /proc », vous pouvez accéder au fichier cpuinfo , qui contient des données sur le processeur de votre Raspberry Pi. Cela s’avère pratique lorsque vous êtes curieux de connaître l’architecture du processeur, le fabricant, le numéro de série, etc.

Pour accéder à ces informations, exécutez simplement la commande suivante :

Le résultat vous indiquera un certain nombre d’informations sur votre Raspberry Pi. Vous verrez le modèle de processeur et le fournisseur sous les éléments de ligne respectifs. Par exemple, si vous voyez quelque chose comme Processeur ARMv6 ou Processeur ARMv7, en effet, Raspberry Pi dispose d’un processeur basé sur l’architecture ARM (plutôt qu’Intel comme sur les PC et Mac Windows)

Vous pouvez également voir que le processeur utilise ARMv6 ou AMRv7 jeu d’instructions. Le jeu d’instructions ARMv6 est l’une des anciennes conceptions ARM. La plupart des smartphones et tablettes modernes utilisent l’architecture ARMv7, et le nouveau jeu d’instructions ARMv8 64 bits devient de plus en plus courant.

Vérifiez la version du système d’exploitation Raspberry Pi

Outre les informations sur le matériel, vous pouvez également accéder aux informations sur les logiciels de votre Raspberry Pi, telles que la version du système d’exploitation. Presque toutes les unités Raspberry Pi exécuteront l’une ou l’autre version de Linux (bien que vous puissiez également exécuter Windows 11 sur un Raspberry Pi).

Pour vérifier exactement quelle distribution et version Linux vous utilisez, vous pouvez exécuter la commande suivante :

La sortie vous montrera une seule ligne d’informations détaillées sur la version de votre système d’exploitation.

Vérifier la température du processeur du Raspberry Pi

Les informations trouvées sous « /proc » sont disponibles sur tous les systèmes Linux ; cependant, Raspberry Pi dispose également d’une commande spéciale qui affiche des informations spécifiques à la carte Raspberry Pi. La commande vcgencmd peut accéder à de nombreuses informations spécifiques au Raspberry Pi, dont la température du processeur.

Si vous aimez overclocker votre Raspberry Pi, vous devrez beaucoup accéder à la température du processeur. Exécutez la commande suivante pour ce faire :

Le résultat sera une seule ligne indiquant la température :

Vérifier la vitesse d’horloge du processeur Raspberry Pi

Si vous overclockez ou utilisez simplement l’un des boîtiers pour Raspberry Pi qui sont trop compacts pour un flux d’air suffisant, vous allez probablement vous souhaitez également vérifier la fréquence de votre processeur. À l’aide d’une simple commande, vous pouvez voir la fréquence ou la vitesse d’horloge actuelle du processeur ainsi que les fréquences minimale et maximale.

Exécutez respectivement les commandes suivantes :

La sortie sera en kilohertz (kHz), donc, par exemple, 950 000 signifiera que la fréquence du processeur est de 950 MHz.

Vérifiez la tension du processeur du Raspberry Pi

Si vous souhaitez connaître la tension interne de votre processeur Raspberry Pi, il existe une autre commande vcgencmd qui pourrait vous être utile. Tapez ce qui suit dans une fenêtre de terminal et appuyez sur Enter :

Le résultat ressemblera à ceci :

Cette commande peut également être utilisée pour rechercher les tensions pour sdram_c, sdram_i et sdram_p. La commande shell suivante affichera toutes les tensions :

Vérifiez la température du GPU Raspberry Pi et l’utilisation de la mémoire

Sur une carte Raspberry Pi, le capteur de température du CPU et du GPU est le même. Par conséquent, la même commande utilisée pour vérifier la température du processeur peut également être utilisée ici :

Pour vérifier l’utilisation de la mémoire GPU, vous pouvez exécuter la commande suivante :

Ce que cette commande affiche en réalité, c’est l’allocation de mémoire GPU en mégaoctets (Mo).

Vérifiez les informations sur la RAM du Raspberry Pi

Vous pouvez également vérifier les détails de la RAM ou de la mémoire de votre Raspberry Pi si vous souhaitez savoir, par exemple, combien de RAM est libre ou même quelle est la quantité de mémoire sur votre disque dur. Pour ce faire, exécutez la commande suivante :

La sortie vous montrera la mémoire totale, la mémoire utilisée, la mémoire libre, la mémoire partagée, la mémoire cache et la mémoire disponible sur la même ligne. Vous pouvez également voir la mémoire du disque dur dans la ligne Swap.

Si vous souhaitez encore plus de détails sur votre RAM, vous pouvez exécuter la commande suivante :

Cette sortie vous montrera des informations telles que la mémoire active, la mémoire inactive, la mémoire mappée, la mémoire sale et la mémoire corrompue par le matériel.

Vérifiez les codecs matériels Raspberry Pi

Si vous souhaitez voir quels codecs matériels ont été activés sur votre Raspberry Pi, le paramètre codecname peut être très utile. Il vous suffit de saisir la commande ainsi que le nom du codec que vous souhaitez interroger. Tapez ce qui suit et appuyez sur Enter :

Ici, CODECNAME doit être remplacé par l’un des H264, MPG2, WVC1, MPG4, MJPG ou WMV9.

Pour gagner du temps en répétant la commande pour chaque codec, vous pouvez utiliser ce simple script shell :

Voici les meilleures alternatives au Raspberry Pi.

Crédit image : Gros plan d’un Raspberry Pi 4 modèle B sur un clavier d’ordinateur portable par DepositPhotos. Toutes les captures d’écran de Tanveer Singh.