Façons de modifier les options de Raspberry Pi via la partition de démarrage

Conçu Raspberry Pi En tant que dispositif éducatif. Raspberry Pi Foundation a conçu un ordinateur sans les ajouts inutiles pour créer Appareil informatique facile à utiliser C'est une tâche multitâche pour les enfants qui veulent apprendre la programmation, mais ont eu du mal à obtenir de l'argent pour acheter du matériel.

Cependant, son utilisation par des professionnels et des hackers a contribué à l’émergence de nombreuses astuces créatives facilitant Utilisez ce petit ordinateur Par beaucoup d'utilisateurs ordinaires.

استخدام Raspberry Pi est très amusant. Avec beaucoup Projets à choisir Votre ordinateur $ 50 vous occupera pendant des mois. Mais Configurer Raspberry Pi peut prendre du temps Long.

Si vous ne l'avez pas connecté à un clavier pour configurer un réseau Wi-Fi, vous aurez du mal à trouver la bonne configuration pour votre affichage. Ou d'autres options de configuration triviales qui ne devraient pas prendre trop de temps à régler.

Façons de modifier les options du Raspberry Pi via la section de démarrage - Tutoriels Raspberry Pi

Mais dans de nombreux cas, vous pouvez effectuer ces modifications facilement et rapidement. Voici comment éditer / boot / partition En Raspberry Pi Avant de l'allumer.

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

Façons de modifier les options du Raspberry Pi via la section de démarrage - Tutoriels Raspberry Pi

Lorsque vous configurez Raspberry Pi, vous devez Installer un système d'exploitation. Cela ne se fera pas de la même manière sur un ordinateur. Au lieu de cela, il est installé Système d'exploitation sur Raspberry Pi En le tapant sur la carte SD.

Au cours de ce processus, la carte est divisée en deux sections ou plus. L'un d'eux contient le système d'exploitation, formaté avec le système de fichiers EXT4.

L'autre s'appelle toujours “botte«Dénommé / boot /. Cette section présente un vaste ensemble de données de démarrage, de configurations et d’autres options, et est formatée avec Système de fichiers FAT. Notez que / boot / partition Obligatoire pour chaque Raspberry Pi.

Eh bien le fait que vous puissiez utiliser / boot / Pour modifier les paramètres des périphériques Raspberry Pi, vous devez les remarquer. Peut accéder / boot / partition Sur n'importe quel ordinateur utilisant un lecteur de carte. Cela contraste avec le système d'exploitation principal, qui ne peut toujours être lu que sur un ordinateur Linux.

En tant que tel, vous pouvez atteindre / boot / Sous Windows, MacOS, Linux et tout autre système. Plus important encore, vous pouvez également y accéder à partir du système d'exploitation installé sur Raspberry Pi.

Alors, le / boot / partition Utile Mais que pouvez-vous en faire? Insérez la carte SD Raspberry Pi dans votre ordinateur, ouvrez / boot / Ensuite, continuez à lire pour le savoir.

1. Étiquette de distribution de Raspberry Pi

Exécuter plusieurs projets sur Raspberry Pi peut être un peu déroutant. Par exemple, je ne garde un tableur que pour cela, donc je sais ce que fait chaque Pi. Je remarque également des périphériques connectés, tels qu'un appareil photo ou un écran tactile, auquel cas ce qui est activé dans Pi.

Mais vous ne pouvez avoir qu'un seul Pi, avec plusieurs cartes microSD pour faciliter la commutation entre les projets. Cependant, vous aurez peut-être du mal à vous rappeler le contenu de chaque carte.

Il suffit de créer un fichier texte dans / boot / partition Avec un nom utile, comme "cam.txt de sécurité"Ou"print server.txt“. Vous pouvez ajouter plus de détails sur le projet dans le fichier texte.

Cela vous permet d'identifier rapidement la carte SD sans démarrer.

2. Modifier le fichier Config.txt pour améliorer la compatibilité matérielle

Bien que Raspberry Pi n’ait pas de BIOS en tant que tel, il contient un fichier config.txt , Situé dans / boot /.

Il apporte des modifications à 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 les guillemets), un par ligne. Notez qu'il n'y a pas d'espaces. Les commentaires peuvent être ajoutés en utilisant la lettre # Avant de commencer la ligne.

Chaque section d'un fichier est en surbrillance config.txt Clairement, expliquez les lignes en les commentant sur ce que chaque paramètre fait. Bien que vous deviez éditer ce fichier avec précaution, vous disposez de suffisamment d'informations pour vous empêcher d'apporter des modifications lourdes de conséquences.

Le type de modifications que vous apportez ici dépend de la configuration de votre appareil. Par exemple, vous pouvez activer le module de caméra au démarrage:

start_x = 1

En même temps, si vous avez du mal à obtenir une image via une sortie HDMI, utilisez

hdmi_safe = 1

Ce paramètre combine différents paramètres HDMI pour créer une refonte complète qui devrait forcer HDMI à fonctionner.

Doit modifier config.txt Une personne visible fait pivoter l'écran en utilisant display_rotate. Par exemple, l’écran peut faire pivoter les degrés 90 avec

display_rotate = 1

Les degrés 180 sont recyclés

display_rotate = 2

et ainsi de suite.

Comme vous l'aurez compris, plus longtemps config.txt La fonctionnalité de configuration matérielle la plus importante de Raspberry Pi. Même si le Raspi-config Important, seulement pour config.txt Cela a un effet plus important, permettant une configuration volumineuse avant le démarrage.

Voir wiki elinux.org Pour plus de détails sur un fichier config.txt.

3. Créer un fichier vide pour activer SSH

Façons de modifier les options du Raspberry Pi via la section de démarrage - Tutoriels Raspberry Pi

L'utilisation de SSH pour l'accès à distance To Raspberry Pi fait gagner beaucoup de temps. Par exemple, vous voudrez peut-être mettre à jour votre système d'exploitation, mais vous ne pourrez pas connecter Pi à un téléviseur. La réponse est l’accès à distance à 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 inconfortable pour les utilisateurs sur une base régulière.

Il y a une solution, cependant. Créez simplement un fichier spécial dans / boot / partition Pour activer SSH.

Ouvert / boot / partition Sur votre ordinateur et créez un nouveau fichier. Nommez-le ssh et supprimez l'extension du fichier. C'est aussi simple que ça! Dès que vous pouvez, gardez le fichier ssh sur votre ordinateur. De cette façon, tout ce que vous avez à faire est de faire glisser le fichier / boot / partition Chaque fois que vous installez Raspberry Pi OS.

Ce fichier agit comme un indicateur lors du démarrage de Pi, ce qui ordonne au système d'exploitation d'activer SSH.

Notez que vous serez invité à modifier le mot de passe utilisateur par défaut du Pi la première fois que vous vous connectez.

4. Enregistrez vos informations d'identification Wi-Fi à l'adresse wpa_supplicant.conf.

Une autre fois, vous perdez avec la configuration de Raspberry Pi pour la connexion au réseau sans fil. En le connectant directement au routeur via une connexion câblée, vous gagnerez du temps, mais vous n’auriez peut-être pas assez de ports. Ou vous avez Pi mis trop loin.

La réponse est la mise en réseau sans fil, ce qui signifie la connexion à l'environnement de bureau Pi. L'installation de la souris et du clavier prend beaucoup de temps. Vous pouvez ensuite configurer les options réseau sur la ligne de commande, en modifiant un fichier. wpa_supplicant.conf Mais vous pouvez aussi éditer ceci avant de démarrer Pi.

En classe / boot / , Créer un nouveau fichier wpa_supplicant.conf. Ouvrez-le dans l'éditeur de texte de votre ordinateur (par exemple, le Bloc-notes sous Windows ou préférez le Bloc-notes ++). Copiez et collez les lignes suivantes:

ctrl_interface=DIR=/var/run/wpa_supplicant GROUP=netdev

update_config=1

country=dz

network={

ssid="SSID"

psk="PASSWORD"

key_mgmt=WPA-PSK

}

Quelques modifications sont nécessaires. Tout d’abord, changez le pays comme il convient (par exemple, GB Pour le Royaume-Uni).

Puis ajustez mes champs SSID et MOT DE PASSE Pour correspondre au réseau sans fil. Enregistrez le fichier, fermez-le, puis démarrez Pi. Votre appareil devrait bientôt se connecter à votre réseau Wi-Fi local. Vous devez accéder à la page de gestion de votre routeur pour afficher l'adresse IP de Pi.

Vous devriez alors pouvoir accéder à Raspberry Pi via SSH. Comme avec ssh, il vaut la peine de conserver une copie d'un fichier wpa_supplicant.conf Sur votre ordinateur pour une installation rapide.

5. Correction d'un bug avec / boot / Partition

Façons de modifier les options du Raspberry Pi via la section de démarrage - Tutoriels Raspberry Pi

La version Raspberry Pi 4 de 2019 comprenait trois itérations de différentes spécifications de RAM. Alors que les modèles 1GB et 2GB fonctionnent correctement, le 4GB Raspberry Pi 4 présente une erreur. Plus précisément, cela concerne la découverte du port USB dans la distribution Ubuntu.

Cette erreur empêche la détection de ports dans la version 4 GB de Pi 4, mais il existe une solution de contournement. Jusqu'à ce qu'un correctif formel soit publié, vous pouvez modifier la quantité de RAM disponible pour le système d'exploitation.

Ouvert / boot / firmware Et chercher un fichier usercfg.txt. Exécutez ce fichier dans un éditeur de texte et ajoutez:

total_mem=3072

Cela modifie la RAM disponible de 4GB à 3GB.

Enregistrez et fermez le fichier, puis exécutez Raspberry Pi 4. Les ports USB devraient maintenant fonctionner. Une future mise à jour devrait résoudre cette erreur, assurez-vous donc de supprimer la ligne à usercfg.txt Quand cela arrive.

6. Copier les données de votre ordinateur vers Raspberry Pi

Si vous devez copier rapidement des données de votre ordinateur vers Raspberry Pi, vous pouvez utiliser / boot / partition. Copiez simplement les données dans un nouveau répertoire et elles seront accessibles au démarrage de Pi. Notez cette taille / boot / partition Limité

En tant que tel, cela ne convient que pour les petits fichiers, tels que les fichiers MP3 ou les images, plutôt que les fichiers vidéo. Ce n'est pas une solution parfaite, mais ça marche.

Manières 6 d'utiliser / boot / partition sur Raspberry Pi

Avec de nombreuses options pour configurer Raspberry Pi par modification / boot / partition , Vous gagnerez du temps sur votre prochain projet. Pour résumer avec a été affiché, vous pouvez faire ce qui suit dans / boot / partition:

  1. Étiquetez votre carte SD
  2. Modifier le fichier config.txt
  3. Activer SSH
  4. Téléchargement préliminaire de vos identifiants de réseau sans fil
  5. Correction d'un bug
  6. Copiez les données de votre ordinateur sur Pi

Beaucoup de ces améliorations accélèrent les choses, mais vous pouvez simplifier davantage la configuration de votre Raspberry Pi. Voici comment gagner du temps Configurez Raspberry Pi avec PiBakery.

source
Aller au bouton supérieur