Where does Board Manager store board info files?

Development Tools IDE 1.x
1

Today when I started using the IDE I could not longer build for the DigiSpark board. It uses a board that is configured via the board manager and the bpard was not visible in the list. I looked and the Board Manager let me select the board and download the configuration again. Strange - but okay so I did it.

Now when I build for this board the compile fails with the following error: "Board digispark-tiny (platform avr, package digistump) is unknown"

I could not find the DigiSpark board package so I deleted the Arduino IDE and reinstalled it - only to my horror to find that the DigiSpark board is still available when I run the IDE for the first time. So that means that the board manager is storing the board info elsewhere - but I am damned if I can find them to delete and reinstall...

Where are they kept on OSX?

Thanks

Bryon

2

/Users/(username)/Library/Arduino15/packages
Another way to find the Arduino15 folder is File > Preferences > More preferences can be edited directly in the file

3

Of course. I keep forgetting OSX hides certain folders in Finder.
For those that may follow, in Finder:

  • click Go > Go to Folder.
  • Type: /users//Library
  • Click Go

Thanks for your help!

Bryon