3 façons de modifier le fichier boot/config.txt sur Raspberry Pi
Vous êtes au milieu d’un projet Raspberry Pi lorsque vous réalisez soudainement qu’il y a un problème : le réparer signifie le modifier fichier de configuration fichier, situé à /Commencez contenu.
Mais quel est le moyen le plus simple d’accéder à ce fichier pendant que le Raspberry Pi est toujours en cours d’exécution ? Si vous devez éteindre pour récupérer la carte microSD, comment devez-vous la modifier ? Voici tout ce que vous devez savoir sur la façon de modifier ce fichier de configuration utile sur le Raspberry Pi.
Pourquoi config.txt est-il nécessaire sur Raspberry Pi
Anciennement connu sous le nom de Raspbian, le système d’exploitation par défaut du Raspberry Pi OS (et la plupart des alternatives) repose sur certains paramètres de configuration que l’ordinateur lit lorsqu’il démarre à partir d’une carte microSD.Ceux-ci sont stockés dans fichier de configuration dossier, en /Commencez dossier.
De telles instructions peuvent ajuster la façon dont les moniteurs sont détectés et le bureau affiché ; config.txt peut même être utilisé pour overclocker votre Raspberry Pi (ou le restaurer aux paramètres d’horloge par défaut).
Lire la suite : Comment overclocker un Raspberry Pi
Ces deux paramètres sont documentés dans config.txt car aucun ne peut être modifié sur un Raspberry Pi en cours d’exécution. Si aucun moniteur n’est détecté, aucun paramètre de bureau ne peut être modifié.
De même, si le Pi est overclocké et ne démarre pas ou redémarre à plusieurs reprises, vous ne pourrez pas accéder à l’utilitaire raspi-config pour le réinitialiser. Au lieu de cela, config.txt vous donne la possibilité de réinitialiser la vitesse d’horloge du Raspberry Pi.
Faire une vidéo du jour
Le mode de démarrage USB peut également être modifié dans config.txt, tout comme les paramètres audio. Vous pouvez trouver des options complètes dans la documentation officielle de Raspberry Pi.
1. Accédez à config.txt à partir du système d’exploitation Raspberry Pi
Si vous devez modifier le fichier config.txt pendant que le système d’exploitation Raspberry Pi est en cours d’exécution, vous devriez pouvoir y accéder. Vous trouverez le dossier /boot dans le répertoire racine de la carte microSD. Une fois que vous avez trouvé le fichier config.txt, double-cliquez simplement pour l’ouvrir et le modifier dans votre éditeur de texte par défaut.
Toutefois, si vous envisagez de modifier le fichier, il est préférable de conserver le fichier d’origine. Notez que vous ne pouvez pas utiliser le gestionnaire de fichiers du bureau pour faire des copies de fichiers car vous avez besoin des privilèges root. Il faut donc ouvrir un terminal et créer une copie avec :
sudo cp /boot/config.txt /boot/backupconfig.txt
Donnez à votre copie un nom significatif. Notez que lors de la modification du fichier config.txt, aucune modification ne sera appliquée tant que vous n’aurez pas redémarré le Raspberry Pi.
2. Modifier à distance config.txt
Vous connectez rarement un clavier et un moniteur à votre Raspberry Pi ? Tant que l’ordinateur est sur le réseau, vous devriez pouvoir modifier le fichier config.txt à distance. Pour ce faire, connectez-vous via SSH (ou VNC ou RDP) et accédez au répertoire /boot.
Pour ce faire, entrez
cd/démarrage
commande pour changer de répertoire en /Commencez dans le système d’exploitation Raspberry Pi.Ici, utilisez
ls
Contenu de la liste.Ici tu devrais trouver fichier de configurationPour lire ou modifier des fichiers texte, utilisez l’éditeur de texte nano préinstallé (bien que d’autres soient disponibles).
sudo nano-config.txt
Après avoir apporté des modifications, appuyez sur Ctrl + X Puis Oui Sauvegarder et quitter. N’oubliez pas de redémarrer votre Raspberry Pi après avoir apporté des modifications.
redémarrage sudo
3. Modifiez config.txt sur votre PC
Les ordinateurs Linux, Windows et macOS doivent pouvoir accéder au fichier config.txt via la carte microSD. Cela signifie éteindre votre Raspberry Pi (en toute sécurité pour éviter la corruption des données) et éjecter la carte SD. Branchez-le sur le lecteur de carte de votre ordinateur pour en vérifier le contenu.
Modifier config.txt sur un PC Linux
Si vous devez modifier le fichier config.txt sur un PC Linux, recherchez le disque répertorié dans le gestionnaire de fichiers par défaut lorsqu’il est branché.Il doit être répertorié comme deux périphériques : le volume principal (généralement un « volume de 1,8 Go », basé sur la taille de la partition par défaut du système d’exploitation Raspberry Pi) et démarrage.
Comme vous l’avez peut-être deviné, c’est le volume auquel vous devez accéder. Il s’agit essentiellement du répertoire /boot monté en tant que lecteur. Ouvrez-le pour trouver config.txt.Enregistrez toutes les modifications apportées dans l’éditeur de texte par défaut, puis utilisez injection dans le gestionnaire de fichiers pour éjecter la carte SD en toute sécurité.
Modifier config.txt sur Windows 10
L’insertion de la carte SD du Raspberry Pi sur un ordinateur Windows doit la monter immédiatement et être accessible via l’Explorateur Windows. Cependant, bien qu’il y ait deux partitions affichées sur l’appareil, il n’y en a qu’une, démarrageAccessible sous Windows.
Sélectionnez-le et trouvez config.txt. Modifiez à l’aide de l’éditeur de texte par défaut du Bloc-notes (ou une alternative telle que Notepad ++), puis enregistrez et quittez lorsque vous avez terminé.
Pour éjecter la carte SD en toute sécurité, cliquez avec le bouton droit sur le lecteur dans Poste de travail et sélectionnez injection.
Modifier config.txt sur macOS
Si vous utilisez un Mac, vous devriez voir la carte apparaître sur votre bureau lorsqu’elle est détectée. Utilisez le Finder pour parcourir le contenu et recherchez config.txt (ou config, sans l’extension de fichier .txt). Lisez et modifiez des fichiers dans l’application TextEdit, en veillant à enregistrer toutes les modifications que vous apportez lorsque vous quittez.Pour éjecter la carte, faites glisser l’icône du bureau vers la corbeille ou cliquez dessus avec le bouton droit de la souris et sélectionnez injection.
Quelle que soit la méthode que vous utilisez pour éditer le fichier config.txt à partir d’une carte microSD lue sur votre PC, pensez à éjecter l’appareil en toute sécurité avant de le remettre sur votre Raspberry Pi.
Autres ajustements à votre Raspberry Pi
Le fichier config.txt n’est qu’une des nombreuses façons de modifier la configuration générale du Raspberry Pi. C’est l’un des meilleurs moyens de pirater un Raspberry Pi via la partition de démarrage. Vous connaissez probablement déjà l’utilitaire raspi-config accessible via le terminal. Il existe même un outil de configuration Raspberry Pi basé sur le bureau, qui se trouve dans le menu Préférences du système d’exploitation Raspberry Pi.
Si vous le faites correctement, peaufiner la configuration du Pi peut vous faire gagner beaucoup de temps. Pour vous assurer que votre ordinateur est configuré comme vous le souhaitez lors de la première écriture du système d’exploitation sur la carte SD, vous pouvez accéder au menu Options avancées dans le Raspberry Pi Imager. Ici, vous pouvez régler des options telles que la définition du nom d’hôte, l’activation de SSH et la configuration du Wi-Fi.
A propos de l’auteur
