-
-
Notifications
You must be signed in to change notification settings - Fork 391
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
Package index is not downloaded after adding URL to preferences #637
Comments
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
Breaking: 7f8b227#diff-f463d1c276a9080ec522ead62c6dd596e5bf330b093b7d51b71738c9795d0fdaR66-R98 The super class' The rest of the logic looks good:
Update: I fixed the notification and ran the index updates but could not find the new core. The problem is that IDE2 must I also noticed that the old code was able to wait. It's not possible with the current one according to changes here and here. The readiness of the service must be checked from the call-site. Not good. |
Closes arduino#637 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Closes arduino#637 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Closes arduino#637 Closes arduino#906 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Describe the bug
In order to install a 3rd party boards platform via Boards Manager, the user must first add its package index URL to the Arduino IDE's File > Preferences > Additional Boards Manager URLs field.
🐛 After doing that, they will open Boards Manager and expect to find the platforms from that package index listed in addition to the default platforms of the primary official package index, as it works in the classic IDE. However, those platforms will not be shown because the Arduino IDE never downloaded the new package index after the user added its URL to the preferences. The user must restart the IDE in order to trigger the package index download.
To Reproduce
<directories.data>/package_esp32_index.json
<directories.data>/packages/esp32/hardware/
directories.data
for some time.🐛 Note that the expected
package_esp32_index.json
file never appeared.directories.data
for some time.🐛 Note that the expected
package_esp32_index.json
file never appeared.🐛 Note that it is not present.
directories.data
.🙂 Note that the
package_esp32_index.json
file now appears.🙂 Note that it is now present.
Expected behavior
Package index is downloaded after adding a new URL to File > Preferences > Additional Boards Manager URLs.
Desktop
Date: 2021-11-25T17:24:00.480Z
CLI Version: 0.20.0 [553c6375]
The text was updated successfully, but these errors were encountered: