Changes to custom board option definitions in `boards.txt` are not picked up

[KurtE]

Describe the problem

I install in this case support for Teensy boards.

I verify that it works and notice some of the options were not enabled in boards.txt.

So I go and edit the boards.txt to enable it. So I then restart the IDE and my changes are not reflected in menu.

To reproduce

Install support for Teensy: :update preferences with: https://www.pjrc.com/teensy/td_156/package_teensy_index.json

Install the boards, and then for example Choose Teensy 3.2 / 3.1

Look at the CPU speed menu item and see that 144mhz is not in the list.

Go edit the boards.txt file:

...
#uncomment these if you want to try faster overclocking
#teensy31.menu.speed.144=144 MHz (overclock)
#teensy31.menu.speed.168=168 MHz (overclock)
...

And lets say uncomment the 144 Mhz line. And save the changes

restart the IDE and then look at the CPU speeds for and the new item is not in the list.

Expected behavior

I would expect in this case the 144 mhz cpu speed to show up, like it does in Arduino 1.x

I am assuming you are caching the data out of the different tools.txt files and as such not being seen. Maybe the cache code need to remember modification dates or the like.

Alternatively need some mechanism to tell the IDE to refresh it's cache.

Arduino IDE version

RC7 which was released today

Operating system

Windows

Operating system version

Windows 10

Additional context

Note: I first noticed this when I was trying to update @PaulStoffregen package for TD1.56 to use the stuff from 1.57 Beta 2, so I was updating the boards.txt to have an additional USB type for T4.x and soon T3.x

But used the CPU speed example as it is easier to reproduce.

I have not yet checked to see if you pickup changes or the creation of the local.boards.txt file or not Edit: I tried adding the line for 144mhz to local.boards.txt and restarted the IDE and it still was not seen

---

Additional reports:

• https://github.com/arduino/arduino-ide/issues/1258
• https://github.com/arduino/arduino-ide/issues/801#issuecomment-1196334934
• https://github.com/Xinyuan-LilyGO/LilyGo-LoRa-Series/issues/75#issuecomment-1273642230
• https://github.com/arduino/arduino-ide/issues/1751
• https://forum.arduino.cc/t/partition-scheme-ide-2-0-x/1065762
• https://forum.arduino.cc/t/manual-edits-to-boards-txt-not-picked-up/1045377
• https://forum.arduino.cc/t/arduino-ide-2-0-0-board-package-modifications/1035933
• https://forum.arduino.cc/t/libraries-included-with-board-dont-show-up-as-expected/1032334/5
• https://forum.arduino.cc/t/modifying-board-manager/1065046
• https://forum.arduino.cc/t/adding-a-partition-table-to-arduino-2-0-ide/1170025
• https://forum.arduino.cc/t/esp32-d0wd-v3-board-azdelivery-esp32-dev-kit-c-v4/1255674

Issue checklist

• [X] I searched for previous reports in the issue tracker
• [X] I verified the problem still occurs when using the latest nightly build
• [X] My report contains all necessary details

[per1234]

Thanks for the report @KurtE. This caching issue also affects the Tools > Programmer menu contents: https://github.com/arduino/arduino-ide/issues/591

I'll share the workaround:

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/
       

3. Start the Arduino IDE.

The custom board options menus should now reflect any changes that were made to boards.txt.

[KurtE]

@per1234 Thanks, that helps.

I remember from before there was some location to delete.

This time, so far it does not look like deleting this data caused the IDE to download all of the standard libraries again and wipe out one that was already there. (https://github.com/arduino/arduino-ide/issues/798)

Thanks again

[MrSniffer]

This issue is still not fixed in Arduino IDE Windows 2.0.0 x64.

[joostbijl]

I can confirm the issue is still present in 2.0.1

[sevelm]

i can not find this folder in Win10 x64 C:\Users\<user name>\AppData\Roaming\arduino-ide\ hidden files and folders are shown. i use IDE1.8.19 any ideas?

[per1234]

i use IDE1.8.19

That is the reason. This is a discussion about Arduino IDE 2.x. It is not applicable to the Arduino IDE 1.8.19 version you are using.

Please post on the Arduino forum to ask for assistance with your project:

https://forum.arduino.cc/c/using-arduino/installation-troubleshooting/18

I'm sure we'll be able to help you out over there.

[Jackfritt]

Still present in 2.0.3

[fpistm]

and 2.0.4

[puzirev]

Same issue when adding new board type in stm32duino on 2.0.4. Deleting "User data" folder helps.

[KurtE]

Still appears to be issue with 2.1 (actually nightly build 0510)

Wondering if deleting all of C:\Users<user name>\AppData\Roaming\arduino-ide is still the best/only option to resolve this?

You still end up with lots of strange messages after the change, like:

Platform arduino:[email protected] already installed
Failed to install library: Arduino_BuiltIn:1.0.0.
Error: 9 FAILED_PRECONDITION: Library '[email protected]' not found

[efirmata]

Still have to delete the files...

[KurtE]

Side Note: at least with the newer builds, changes to platform.txt are picked up, if you close out the IDE and restart it.

As mentioned in the form thread: https://forum.arduino.cc/t/why-does-the-compiler-add-4x-00-to-a-string-array-element/1152890/57