Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Wiki - Restart Arduino IDE after adding Boards Manager URLs and after installing libraries #288

Open
micheljung opened this issue Sep 24, 2022 · 0 comments
Open

Wiki - Restart Arduino IDE after adding Boards Manager URLs and after installing libraries #288

micheljung opened this issue Sep 24, 2022 · 0 comments

Comments

@micheljung
Copy link

micheljung commented Sep 24, 2022 •
edited
Loading

To which page do you want to add to the wiki?
Windows installation

What do you want to change/add?

  • After adding the Additional Boards Manager URLs, ESP32 can't be found in the Boards Manager until the Arduino IDE is restarted. Or is there another way?
  • After installing the libraries (Part Two), the IDE must be restarted again before the examples are listed.

Is your documentation related to a recent pull request or issue?
No
@micheljung micheljung changed the title Wiki - Restart Arduino after Wiki - Restart Arduino IDE after adding Boards Manager URLs Sep 24, 2022
@micheljung micheljung changed the title Wiki - Restart Arduino IDE after adding Boards Manager URLs Wiki - Restart Arduino IDE after adding Boards Manager URLs and after installing libraries Sep 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@micheljung