Closed
Description
The arduino-cli currently does not reload the platform files (platform.txt, boards.txt and programmer.txt) when they change. In the IDE this can be forced (CMD+ Shift+P / Ctrl+ Shift+P and then "Arduino: Update Package Index").
The CLI should reload all the files that change. Probably should be required only for the sketchbook ones.