Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

fix: install a library missing from local library-index#50

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
dido18 merged 8 commits intomainfromfix-add-library
Nov 7, 2025

Conversation

@dido18
Copy link
Contributor

@dido18dido18 commentedNov 6, 2025
edited
Loading

Motivation

Fix#45.

If a library is installed on the board, but it is not present in the locallibrary_index, the installation fails because it is not found.

This can happen when a library is added to the public library registry, but the local index on the board is not updated.

The manual solution is to launch the commandarduino-cli lib update-index on the board.

Change description

  • When a library is added, if the local library index has expired, the local library index is updated by runningarduino-cli lib update-index
  • The local library-index expires in10 minutes

Additional Notes

Reviewer checklist

  • PR addresses a single concern.
  • PR title and description are properly filled.
  • Changes will be merged inmain.
  • Changes are covered by tests.
  • Logging is meaningful in case of troubleshooting.

@dido18dido18 marked this pull request as ready for reviewNovember 6, 2025 15:58
dido18and others added2 commitsNovember 7, 2025 17:16
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
@dido18dido18 merged commit5a33829 intomainNov 7, 2025
6 checks passed
@dido18dido18 deleted the fix-add-library branchNovember 7, 2025 16:30
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

@cmagliecmagliecmaglie approved these changes

@lucarin91lucarin91lucarin91 approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

The installation of a library fails because thelibrary- index is not update

3 participants

@dido18@cmaglie@lucarin91

[8]ページ先頭

©2009-2025 Movatter.jp