Utiliser un Raspberry Pi est très amusant. Avec autant de projets parmi lesquels choisir, l'ordinateur à 50 $ vous occupera pendant des mois. Mais configurer un Raspberry Pi peut prendre du temps.
Si vous ne branchez pas de clavier pour configurer le Wi-Fi, vous avez du mal à trouver la bonne configuration d'affichage. Ou une autre option de configuration triviale qui ne devrait pas vraiment prendre autant de temps à régler.
Mais dans de nombreux cas, vous pouvez effectuer ces modifications facilement et rapidement. Voici comment modifier votre Raspberry Pi dans la partition /boot/ avant même de le démarrer.
Lorsque vous configurez un Raspberry Pi, vous devez installer un système d'exploitation. Cela ne se fait pas de la même manière que sur un PC ou un ordinateur portable. Au lieu de cela, un système d'exploitation est installé sur un Raspberry Pi en l'écrivant sur une carte SD.
Au cours de ce processus, la carte est divisée en deux partitions ou plus. L'un d'eux a le système d'exploitation, formaté avec le système de fichiers EXT4.
L'autre est toujours appelé "boot" et désigné par /boot/. Il contient une foule de données de démarrage, de configurations et d'autres options, et est formaté avec le système de fichiers FAT. Notez que la partition /boot/ est requise pour chaque distribution Raspberry Pi.
Au-delà du fait que vous pouvez utiliser /boot/ pour modifier les paramètres matériels du Raspberry Pi, c'est remarquable d'une autre manière. La partition /boot/ est accessible sur n'importe quel ordinateur avec un lecteur de carte. Cela contraste avec le système d'exploitation principal, qui ne peut presque toujours être lu que sur un ordinateur Linux.
En tant que tel, vous pouvez accéder à /boot/ sous Windows, macOS, Linux, n'importe quoi. Il est important de noter que vous pouvez également y accéder à partir du système d'exploitation installé sur votre Raspberry Pi.
Ainsi, la partition /boot/ est utile. Mais que pouvez-vous en faire ? Insérez la carte SD de votre Raspberry Pi dans votre PC, ouvrez /boot/, puis lisez la suite pour le savoir.
Exécuter plusieurs projets sur votre Raspberry Pi peut être un peu déroutant. Par exemple, je maintiens une feuille de calcul, donc je sais ce que fait chaque Pi. Je note également quel matériel est connecté, comme un appareil photo ou un écran tactile, et dans quel cas se trouve le Pi.
Mais vous n'avez peut-être qu'un seul Pi, avec plusieurs cartes microSD pour basculer facilement entre les projets. Même dans ce cas, cependant, vous aurez peut-être du mal à vous rappeler ce qu'il y a sur chaque carte.
Créez simplement un fichier texte dans la partition /boot/ avec un nom utile, tel que « security cam.txt » ou « print server.txt ». Vous pouvez ajouter plus de détails sur le projet dans le corps du fichier.
Cela vous permet d'identifier rapidement la carte SD sans démarrer.
Bien que le Raspberry Pi n'ait pas de BIOS système en tant que tel, il possède le fichier config.txt, qui se trouve dans /boot/.
C'est la maison des réglages pour le Raspberry Pi, avec des options pour presque tout ce que vous pouvez imaginer. Le fichier contient une liste de paramètres utilisant le format "property=value" (sans les guillemets), un par ligne. A noter le manque de place. Des commentaires peuvent être ajoutés en utilisant le caractère # pour commencer une ligne.
Chaque section du fichier config.txt est clairement marquée, avec des lignes commentées expliquant ce que fait chaque paramètre. Bien que ce fichier ne doive être modifié qu'avec précaution, il contient suffisamment d'informations pour vous empêcher d'apporter des modifications aux conséquences graves.
Le type de réglages que vous ferez ici dépendra de votre configuration matérielle. Par exemple, vous souhaiterez peut-être activer le module caméra au démarrage :
start_x=1 En attendant, si vous avez du mal à obtenir une image via la sortie HDMI, utilisez
hdmi_safe=1 Ce paramètre combine divers paramètres HDMI pour créer une solution générale fourre-tout qui devrait forcer le HDMI à fonctionner.
Un autre ajustement notable de config.txt consiste à faire pivoter l'affichage, en utilisant display_rotate. Par exemple, faites pivoter de 90 degrés avec
display_rotate=1 Une rotation à 180 degrés, quant à elle, est
display_rotate=2 Et ainsi de suite.
Comme vous l'aurez compris, le config.txt est la fonctionnalité de configuration matérielle la plus importante sur le Raspberry Pi. Alors que raspi-config est important, config.txt a un impact plus important, permettant une configuration de pré-démarrage considérable.
Consultez le wiki elinux.org pour plus de détails sur le fichier config.txt.
L'utilisation de SSH pour accéder à distance à votre Raspberry Pi permet de gagner beaucoup de temps. Par exemple, vous souhaiterez peut-être mettre à jour le système d'exploitation, mais ne pourrez pas connecter le Pi à un téléviseur. La réponse est d'accéder à distance à votre Raspberry Pi et SSH est le moyen le plus rapide de le faire.
Cependant, les versions ultérieures du système d'exploitation Raspberry Pi basé sur Debian ont SSH désactivé par défaut. Il s'agit d'une mesure de sécurité qui peut s'avérer gênante pour les utilisateurs réguliers.
Il existe cependant une solution de contournement. Créez simplement un fichier spécial dans la partition /boot/ pour activer SSH.
Ouvrez la partition /boot/ sur votre ordinateur et créez un nouveau fichier. Nommez-le ssh et supprimer l'extension de fichier. C'est aussi simple que ça! Aussi rapide que cela puisse être, cela vaut la peine de conserver un fichier d'indicateur ssh sur votre PC. De cette façon, tout ce que vous avez à faire est de faire glisser et déposer le fichier dans la partition /boot/ chaque fois que vous installez un système d'exploitation Raspberry Pi.
Ce fichier agit comme un indicateur lorsque le Pi démarre, demandant au système d'exploitation d'activer SSH.
Notez que vous serez invité à modifier le mot de passe utilisateur "pi" par défaut lors de votre première connexion.
Une autre perte de temps avec la configuration d'un Raspberry Pi consiste à connecter l'appareil à votre réseau sans fil. Bien que le brancher directement sur le routeur puisse faire gagner du temps ici, vous ne disposez peut-être pas de suffisamment de ports. Ou vous avez le Pi situé trop loin.
La réponse est la mise en réseau sans fil, ce qui signifie se connecter à l'environnement de bureau du Pi. La configuration avec une souris et un clavier ne prend pas trop de temps. Vous pouvez le configurer dans la ligne de commande, en modifiant le fichier wpa_supplicant.conf, mais vous pouvez également le modifier avant le démarrage du Pi.
Dans la partition /boot/, créez un nouveau fichier wpa_supplicant.conf. Ouvrez-le dans l'éditeur de texte de votre PC (par exemple, le Bloc-notes sous Windows, ou vous préférerez peut-être le Bloc-notes ++). Copiez et collez les lignes suivantes :
ctrl_interface=DIR=/var/run/wpa_supplicant GROUP=netdev
mise à jour_config=1
pays =États-Unis
réseau={
SSID="SSID"
psk="MOT DE PASSE"
key_mgmt=WPA-PSK
} Certaines modifications sont nécessaires. Tout d'abord, modifiez le pays selon vos besoins (par exemple, GB pour le Royaume-Uni).
Ensuite, définissez les champs SSID et PASSWORD pour qu'ils correspondent à ceux de votre réseau sans fil. Enregistrez le fichier, puis fermez-le et démarrez votre Pi. L'appareil devrait bientôt se connecter à votre Wi-Fi local. Accédez à la page d'administration de votre routeur pour afficher l'adresse IP du Pi.
Vous devriez alors pouvoir accéder à distance au Raspberry Pi via SSH. Comme avec ssh, il vaut la peine de conserver une copie du fichier wpa_supplicant.conf sur votre PC pour une configuration rapide.
La sortie du Raspberry Pi 4 en 2019 comportait trois itérations avec différentes spécifications de RAM. Alors que les modèles 1 Go et 2 Go fonctionnent bien, le Raspberry Pi 4 4 Go a un bogue. Plus précisément, cela concerne la détection de port USB dans Ubuntu.
Le bogue empêche la détection des ports dans la version 4 Go du Pi 4, mais il existe une solution de contournement. Jusqu'à ce qu'un correctif officiel soit déployé, vous pouvez modifier la quantité de RAM disponible pour le système d'exploitation.
Ouvrez /boot/firmware et recherchez le fichier usercfg.txt. Lancez ceci dans un éditeur de texte et ajoutez :
total_mem=3072 Cela fait passer la RAM disponible de 4 Go à 3 Go.
Enregistrez le fichier et fermez, puis démarrez votre Raspberry Pi 4. Les ports USB devraient maintenant fonctionner. Une future mise à jour devrait résoudre ce problème, alors assurez-vous de supprimer la ligne dans usercfg.txt lorsque cela se produit.
Si vous avez besoin de copier rapidement des données de votre PC vers votre Raspberry Pi, vous pouvez utiliser la partition /boot/. Copiez simplement les données dans un nouveau répertoire et elles seront accessibles lorsque vous démarrerez le Pi. Notez que la taille de la partition /boot/ est cependant limitée.
En tant que tel, cela ne convient qu'aux petits fichiers, comme les MP3 ou les images, plutôt qu'aux fichiers vidéo. Ce n'est pas une solution idéale, mais ça marche.
Voici d'autres façons de copier des données entre un PC et un Raspberry Pi.
Avec autant d'options pour configurer votre Raspberry Pi dans la partition /boot/, vous gagnerez du temps sur votre prochain projet. Pour récapituler, vous pouvez faire ce qui suit dans la partition /boot/ :
Beaucoup de ces ajustements accélèrent les choses, mais vous pouvez rationaliser davantage la configuration de votre Raspberry Pi. Voici comment gagner du temps en configurant votre Raspberry Pi avec PiBakery.