Publicité

L'utilisation d'un Raspberry Pi est très amusante. Avec autant de projets parmi lesquels choisir, l'ordinateur de 50 $ vous occupera pendant des mois. Mais la configuration d'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 à se 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.

Qu'est-ce que la partition de démarrage Raspberry Pi?

Raspberry Pi 2

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 le système d'exploitation est installé sur un Raspberry Pi Comment installer un système d'exploitation sur un Raspberry Pi

instagram viewer
Voici comment installer un système d'exploitation sur votre Raspberry Pi et comment cloner votre configuration parfaite pour une reprise après sinistre rapide. Lire la suite 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 appelé / boot /. Celui-ci comporte une multitude 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 équipé d'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 / dans Windows, macOS, Linux, n'importe quoi. Surtout, 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 découvrir.

1. Étiquetez votre Raspberry Pi Distro

L'exécution de plusieurs projets sur votre Raspberry Pi peut être un peu déroutante. 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 pourriez n'avoir qu'un seul Pi, avec plusieurs cartes microSD pour basculer facilement entre les projets. Cependant, même dans ce cas, il peut être difficile de se rappeler ce qui se trouve 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.

2. Tweak Config.txt pour une meilleure compatibilité matérielle

Bien que le Raspberry Pi n'ait pas de BIOS système en tant que tel, il a le fichier config.txt, situé 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 «propriété = valeur» (sans guillemets), un par ligne. Notez le manque d'espace. 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 y a suffisamment d'informations pour vous empêcher d'apporter des modifications aux conséquences graves.

Le type de réglages que vous effectuez ici dépendra de la configuration de votre matériel. Par exemple, vous souhaiterez peut-être activer le module de caméra au démarrage:

start_x = 1

Pendant ce temps, 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 un correctif général qui devrait forcer HDMI à fonctionner.

Un autre ajustement config.txt notable consiste à faire pivoter l'affichage à l'aide de 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

Etc.

Comme vous l'aurez compris, le config.txt est la fonctionnalité de configuration matérielle la plus importante du Raspberry Pi. Bien que raspi-config soit important, config.txt a un impact plus important, permettant un pré-démarrage considérable configuration.

Consultez le elinux.org wiki pour plus de détails sur le fichier config.txt.

3. Créer un fichier vierge pour activer SSH

Modifier config.txt sur le Raspberry Pi

L'utilisation de SSH pour accéder à distance à votre Raspberry Pi vous fait 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 de accéder à distance à votre Raspberry Pi VNC, SSH et HDMI: trois options pour visualiser votre Raspberry PiLe Raspberry Pi est un petit ordinateur remarquable, mais il peut prendre beaucoup de temps pour le configurer et le connecter à votre moniteur. Lire la suite 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. Étiquetez-le ssh et supprimez l'extension de fichier. C'est aussi simple que ça! Aussi rapide que cela puisse être, il vaut la peine de conserver un fichier indicateur ssh sur votre PC. De cette façon, tout ce que vous devez faire est de glisser-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.

4. Enregistrer les informations d'identification du réseau Wi-Fi dans wpa_supplicant.conf

Une autre perte de temps avec la configuration d'un Raspberry Pi consiste à placer l'appareil sur votre réseau sans fil. Bien que le brancher directement sur le routeur puisse gagner du temps ici, vous n'avez peut-être pas assez de ports. Ou vous avez le Pi situé trop loin.

La réponse est un 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 de 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, Bloc-notes sur Windows, ou vous pouvez préférer Notepad ++). Copiez et collez les lignes suivantes:

ctrl_interface = DIR = / var / run / wpa_supplicant GROUP = netdev update_config = 1 pays = réseau américain = {ssid = "SSID" psk = "MOT DE PASSE" key_mgmt = WPA-PSK}

Certaines modifications sont nécessaires. Tout d'abord, modifiez le pays comme il convient (par exemple, GB pour le Royaume-Uni).

Ensuite, définissez les champs SSID et MOT DE PASSE 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 se connecter rapidement à votre réseau 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 pour ssh, il vaut la peine de conserver une copie du fichier wpa_supplicant.conf sur votre PC pour une configuration rapide.

5. Correction de bogues avec la partition / boot /

Ports USB sur le Raspberry Pi 4

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 bug. Plus précisément, cela concerne la détection de port USB dans Ubuntu.

Le bogue empêche les ports d'être détectés 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 mémoire 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, assurez-vous donc de supprimer la ligne dans usercfg.txt lorsque cela se produit.

6. Copiez les données de votre PC vers Raspberry Pi

Si vous devez 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 au démarrage du Pi. Notez cependant que la taille de la partition / boot / est limitée.

En tant que tel, cela ne convient que pour les petits fichiers, comme les MP3 ou les images, plutôt que les fichiers vidéo. Ce n’est pas une solution idéale, mais cela fonctionne.

Voici d'autres façons de copier des données entre un PC et un Raspberry Pi 5 façons de copier des données d'un Raspberry Pi vers un PCÀ un moment donné, vous souhaiterez un moyen simple de transférer les données de la carte SD du Pi vers le disque dur de votre PC. Cela peut être délicat. Lire la suite .

6 façons d'utiliser le Raspberry Pi / boot / Partition

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 effectuer les opérations suivantes dans la partition / boot /:

  • Étiquetez votre carte SD
  • Tweak config.txt
  • Activer SSH
  • Pré-charger vos informations d'identification de réseau sans fil
  • Corriger les bugs
  • Copiez les données du PC vers Pi

Beaucoup de ces ajustements accélèrent les choses, mais vous pouvez rationaliser davantage votre configuration Raspberry Pi. Voici comment gagner du temps configurer votre Raspberry Pi avec PiBakery Configurez votre installation Raspberry Pi avec PiBakeryEt si vous pouviez configurer Raspbian avant de démarrer votre Raspberry Pi? Ne serait-il pas formidable de configurer le réseau sans fil pour qu'il fonctionne dès la sortie de l'emballage? Voici comment. Lire la suite .

Christian Cawley est rédacteur en chef adjoint pour la sécurité, Linux, le bricolage, la programmation et la technologie expliquée. Il produit également le podcast vraiment utile et possède une vaste expérience en matière de support de bureau et de logiciels. Contributeur au magazine Linux Format, Christian est un bricoleur de Raspberry Pi, un amoureux des Lego et un fan de jeux rétro.