Changes to boards.txt or platform.txt, not picked up until

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:

  1. Select File > Quit from the Arduino IDE menus if it is running.
  2. Delete the "User data" folder:
  • Windows:
    C:\Users<user name>\AppData\Roaming\arduino-ide\
  • Linux:
    ~/.config/arduino-ide/
  • macOS:
    ~/Library/Application Support/arduino-ide/
  1. Start the Arduino IDE.
    The custom board options menus should now reflect any changes that were made to boards.txt.

Was just wondering if there is a work around with a lighter touch.

Thanks
Kurt

This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.