A couple of us our playing around, with setting up a different board or boards and make changes to the boards.txt and the like. And these changes are not picked up, unless we use the current work-around, which is sort of a sledgehammer. Note: this is issue:
changes to boards.txt are not picked up · Issue #1030 · arduino/arduino-ide (github.com)
and likewise: Changes to programmers.txt are not recognized · Issue #591 · arduino/arduino-ide · GitHub
The current workaround is:
- Select File > Quit from the Arduino IDE menus if it is running.
- Delete the "User data" folder:
- Windows:
C:\Users<user name>\AppData\Roaming\arduino-ide\- Linux:
~/.config/arduino-ide/- macOS:
~/Library/Application Support/arduino-ide/
- Start the Arduino IDE.
The custom board options menus should now reflect any changes that were made toboards.txt
.
Was just wondering if there is a work around with a lighter touch.
Thanks
Kurt