Skip to content

Watch for platform file changes #2523

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
umbynos opened this issue Feb 2, 2024 · 0 comments · Fixed by #2551
Closed

Watch for platform file changes #2523

umbynos opened this issue Feb 2, 2024 · 0 comments · Fixed by #2551
Assignees
Labels
topic: code Related to content of the project itself topic: gRPC Related to the gRPC interface type: enhancement Proposed improvement

Comments

@umbynos
Copy link
Contributor

umbynos commented Feb 2, 2024

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").

Image

The CLI should reload all the files that change. Probably should be required only for the sketchbook ones.

@umbynos umbynos added the type: enhancement Proposed improvement label Feb 2, 2024
@cmaglie cmaglie linked a pull request Feb 26, 2024 that will close this issue
6 tasks
@per1234 per1234 added topic: code Related to content of the project itself topic: gRPC Related to the gRPC interface labels Feb 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself topic: gRPC Related to the gRPC interface type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants