Watch for platform file changes #2523
Labels
topic: code
Related to content of the project itself
topic: gRPC
Related to the gRPC interface
type: enhancement
Proposed improvement
The
arduino-cli
currently does not reload the platform files (platform.txt
,boards.txt
andprogrammer.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 text was updated successfully, but these errors were encountered: