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.
The
arduino-clicurrently does not reload the platform files (platform.txt,boards.txtandprogrammer.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.