Arduino: Comment modifier settings.path dans le dossier IDE installé ?

Créé le 15 avr. 2016 · 4Commentaires · Source: arduino/Arduino

J'utilise la version 1.6.7 IDE. Je me demande s'il existe un moyen de modifier le settings.path dans le dossier installé de l'IDE au lieu de modifier le preferences.txt situé dans le répertoire %appdata% manuellement ou via CLI. Je demande parce que l'IDE est installé sur un lecteur réseau. J'ai téléchargé la source d'une carte supplémentaire sur le même lecteur réseau. Je souhaite configurer l'IDE de telle sorte que la carte supplémentaire soit reconnue par l'IDE, quel que soit l'ordinateur et la plate-forme qui essaie d'utiliser cet IDE. Une solution pour modifier certains textes de "préférences globales" directement dans le dossier IDE serait optimale pour moi.

J'ai essayé le fichier preference.txt dans le dossier /lib, mais cela n'a eu aucun effet. Je suppose que les préférences locales ont pris le pas.

Source

hanabanana

Commentaire le plus utile

Si vous créez un dossier nommé portable dans le dossier d'installation de l'IDE Arduino, le fichier {dossier d'installation de l'IDE Arduino}/portable/preferences.txt sera utilisé.

per1234 le 16 avr. 2016

👍2

Tous les 4 commentaires

IIRC, il existe une option pour les installations "portables", regarde dans le chemin d'installation pour preferences.txt. Je ne me souviens pas d'où il ressemble exactement, cependant (et pas le temps pour le moment de vérifier).

matthijskooijman le 16 avr. 2016

Si vous créez un dossier nommé portable dans le dossier d'installation de l'IDE Arduino, le fichier {dossier d'installation de l'IDE Arduino}/portable/preferences.txt sera utilisé.

per1234 le 16 avr. 2016

👍2

Est-ce documenté quelque part ? Si ce n'est pas le cas, ça devrait (je suggère)