3 façons d’éditer le fichier boot/config.txt sur Raspberry Pi

Vous êtes au centre d’un travail sur Raspberry Pi quand soudain vous comprenez qu’il y a quelque chose d’incorrect : le réparer indique d’éditer et d’améliorer les données config. txt , que l’on découvre dans le site du répertoire / boot .

Mais quel est le moyen le plus simple d’accéder à ces documents alors que le Raspberry Pi est encore en fonctionnement ? De même que si vous devez fermer pour obtenir la carte microSD, comment la modifier ? Voici tout ce que vous devez savoir sur la façon de modifier les données config.txt du Raspberry Pi.

Pourquoi vous avez besoin de config.txt sur Raspberry Pi

Anciennement appelé Raspbian, l’OS par défaut du Raspberry Pi (et aussi la plupart des options) dépend de certaines spécifications de configuration qui sont lues lorsque le système informatique démarre à partir de la carte microSD. Celles-ci sont conservées dans le config. txt papier.

Quelle est la place des données config.txt du Raspberry Pi ? Vous les trouverez dans le dossier / boot .

Ces directives pourraient modifier la façon dont l’écran est identifié, ainsi que l’ordinateur de bureau présenté ; config.txt peut également être utilisé pour overclocker votre Raspberry Pi (ou le ramener aux réglages d’horloge par défaut).

Ces deux configurations sont visitées config.txt car aucune ne peut être transformée sur un Raspberry Pi en fonctionnement. Si l’écran d’affichage n’est pas identifié, vous ne pouvez pas modifier n’importe quel type de paramètres de bureau. La solution consiste à modifier les données config.txt du Raspberry Pi.

De même, si le Pi a été overclocké et qu’il ne démarre pas ou redémarre de manière répétitive, vous n’aurez pas la possibilité d’accéder à l’utilitaire raspi-config pour le réinitialiser. Au lieu de cela, config.txt est fourni pour vous donner l’alternative de réinitialiser la vitesse d’horloge de votre Raspberry Pi.

De même, il est possible de modifier le mode de démarrage USB à partir de config.txt, tout comme il est possible de modifier les paramètres audio. Vous pouvez découvrir une variété complète d’options dans les documents officiels Raspberry Pi .

1. Accéder à config.txt depuis l’intérieur du système d’exploitation Raspberry Pi.

Si vous avez besoin de modifier les documents config.txt pendant que Raspberry Pi OS est en cours d’exécution, vous devez pouvoir y surfer. Vous découvrirez le dossier/ boot dans le site du répertoire d’origine de la carte microSD. Lorsque vous y avez découvert le fichier config.txt, il suffit de double-cliquer pour l’ouvrir, ainsi que de le modifier dans votre éditeur de texte par défaut.

Cependant, si vous vous préparez à modifier les données, c’est une excellente suggestion de préserver l’initiale. Gardez à l’esprit que vous ne pouvez pas faire une copie des données en utilisant le gestionnaire de fichiers du bureau, car cela nécessite des privilèges de client root. Vous devez plutôt ouvrir un Terminal et également produire une copie en utilisant :

Donnez un nom utile à votre copie. Gardez à l’esprit que lorsque vous modifiez les documents config.txt, aucune modification ne sera certainement utilisée jusqu’à ce que vous redémarriez votre Raspberry Pi.

2. Modifier le config.txt sur le Raspberry Pi à distance

Vous connectez rarement un clavier et un écran à votre Raspberry Pi ? Si le système informatique se retrouve sur le réseau, voici comment éditer config.txt sur le Raspberry Pi à distance. Faites-le en vous connectant au moyen de SSH (ou VNC ou RDP) ainsi qu’en allant dans.

Alternativement, naviguez initialement sur le site du répertoire de démarrage/.

Une fois que les modifications ont effectivement été effectuées, appuyez sur Ctrl + X et après cela Y pour conserver et aussi quitter. N’oubliez pas de redémarrer votre Raspberry Pi après avoir effectué des modifications.

3. Comment modifier config.txt sur votre PC

Les systèmes informatiques Linux, Windows et également macOS devraient être en mesure d’accéder au fichier config.txt par le biais de la carte microSD. Cela suggère de fermer votre Raspberry Pi (en toute sécurité, pour éviter la corruption des données) et d’éjecter la carte SD. Insérez-la directement dans le lecteur de cartes de votre ordinateur pour examiner les composants.

Modifier le fichier config.txt sur un PC Linux

Si vous devez modifier le fichier config.txt sur un PC Linux, trouvez le disque noté dans votre superviseur de documents par défaut lorsqu’il est placé. Il doit être fourni sous forme de 2 gadgets : la quantité principale (généralement « 1,8 Go Volume » selon la dimension des diviseurs par défaut du système d’exploitation Raspberry Pi), et aussi boot .

Comme vous avez pu le penser, c’est le volume auquel vous devez accéder. Il s’agit essentiellement du site du répertoire de démarrage/ monté comme un lecteur. Ouvrez-le pour découvrir le fichier config.txt. Conservez tout type d’ajustements que vous faites dans votre éditeur de texte par défaut, après quoi utilisez le bouton Ejecter dans le superviseur de fichiers pour expulser en toute sécurité la carte SD.

Modifier config.txt sur Windows 10

L’insertion de la carte SD du Raspberry Pi sur un ordinateur Windows doit conduire à ce qu’elle soit instantanément montée, et accessible au moyen de l’explorateur Windows. Néanmoins, si deux partitions seront certainement affichées sur le périphérique, une seule, boot , viendra dans Windows.

Sélectionnez ceci, après quoi découvrez config.txt. Utilisez l’éditeur plein écran Notepad par défaut pour effectuer des modifications (ou un choix, tel que Notepad++), après quoi enregistrez ainsi que quittez lorsque vous avez terminé.

Pour expulser la carte SD en toute sécurité, faites un clic droit sur le lecteur dans Poste de travail, puis sélectionnez Ejecter .

Modifier le fichier config.txt sur macOS

Si vous faites usage d’un Mac, vous pouvez de même modifier la configuration de démarrage déclarer votre Raspberry Pi.

Après avoir inséré la carte SD, faites usage du Finder pour parcourir les matériaux, à la recherche de config.txt (ou config, sans l’extension de documents .txt). Lisez et modifiez les documents dans l’application TextEdit, en garantissant que tout type de modification que vous faites est conservé lorsque vous quittez. Pour éjecter la carte, faites glisser le symbole de l’ordinateur de bureau vers la Corbeille, ou faites un clic droit dessus et sélectionnez également Ejecter .

Quelle que soit la technique que vous utilisez pour modifier le config.txt de la carte microSD conservée en lecture sur votre PC, n’oubliez pas d’éjecter l’outil en toute sécurité avant de le remettre sur votre Raspberry Pi.

Améliorer encore plus votre Raspberry Pi

L’édition des données Raspberry Pi config.txt est simplement l’un des nombreux moyens de modifier la disposition générale de l’ordinateur. C’est l’un des meilleurs moyens de pirater votre Raspberry Pi par le biais de la division de démarrage. Vous êtes probablement familier avec l’utilitaire raspi-config, accessible via le Terminal. Il existe également un outil de configuration Raspberry Pi basé sur le bureau, qui se trouve dans le menu Préférences de Raspberry Pi OS.

Ajuster la configuration du Pi peut vous faire gagner beaucoup de temps si vous l’obtenez correctement. Mais vous n’avez pas besoin de modifier les documents config.txt sur le Raspberry Pi après l’avoir établi. Pourquoi ne pas gagner du temps et accéder à la sélection avancée d’alternatives alimentaires dans Raspberry Pi Imager. Ici, vous pouvez régler des alternatives telles que l’établissement du nom d’hôte, la possibilité de SSH, ainsi que la configuration du Wi-Fi, avant de configurer l’ordinateur !