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: force error on apt update #142

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

Merged
lucarin91 merged 1 commit into main from force-apt-update
Dec 15, 2025
Merged

fix: force error on apt update #142

lucarin91 merged 1 commit into main from force-apt-update
Dec 15, 2025

Conversation

@lucarin91
Copy link
Contributor

@lucarin91 lucarin91 commented Dec 4, 2025
edited
Loading

Motivation

By default, apt-get update doesn't retunrs any error in the status code if something went wrong during repository update. We want instead to catch this error, which usually means that the board wasn't able to validate the apt repo certificates.

Change description

Additional Notes

Reviewer checklist

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

@lucarin91 lucarin91 changed the title (削除) Force apt update (削除ここまで) (追記) fix: force error on apt update (追記ここまで) Dec 4, 2025
@lucarin91 lucarin91 requested a review from a team December 4, 2025 14:48
Copy link
Contributor Author

Copy link
Contributor Author

test apt update command

Try an update of the apt index without a working internet connection.

before the change

arduino@pippo:~$ sudo apt update
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Err:3 https://apt-repo.arduino.cc unstable InRelease
 Temporary failure resolving 'apt-repo.arduino.cc'
Err:2 http://deb.debian.org/debian trixie InRelease
 Temporary failure resolving 'deb.debian.org'
Err:1 https://apt-repo.arduino.cc stable InRelease
 Temporary failure resolving 'apt-repo.arduino.cc'
2 packages can be upgraded. Run 'apt list --upgradable' to see them.
Warning: Failed to fetch https://apt-repo.arduino.cc/dists/stable/InRelease Temporary failure resolving 'apt-repo.arduino.cc'
Warning: Failed to fetch https://apt-repo.arduino.cc/dists/unstable/InRelease Temporary failure resolving 'apt-repo.arduino.cc'
Warning: Failed to fetch http://deb.debian.org/debian/dists/trixie/InRelease Temporary failure resolving 'deb.debian.org'
Warning: Some index files failed to download. They have been ignored, or old ones used instead.
arduino@pippo:~$ echo $?
0

after the change

arduino@pippo:~$ sudo apt update
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:1 https://apt-repo.arduino.cc stable InRelease
Ign:2 http://deb.debian.org/debian trixie InRelease
Ign:3 https://apt-repo.arduino.cc unstable InRelease
Err:2 http://deb.debian.org/debian trixie InRelease
 Temporary failure resolving 'deb.debian.org'
Err:3 https://apt-repo.arduino.cc unstable InRelease
 Temporary failure resolving 'apt-repo.arduino.cc'
Err:1 https://apt-repo.arduino.cc stable InRelease
 Temporary failure resolving 'apt-repo.arduino.cc'
Error: Failed to fetch https://apt-repo.arduino.cc/dists/stable/InRelease Temporary failure resolving 'apt-repo.arduino.cc'
Error: Failed to fetch https://apt-repo.arduino.cc/dists/unstable/InRelease Temporary failure resolving 'apt-repo.arduino.cc'
Error: Failed to fetch http://deb.debian.org/debian/dists/trixie/InRelease Temporary failure resolving 'deb.debian.org'
Error: Some index files failed to download. They have been ignored, or old ones used instead.
arduino@pippo:~$ echo $?
100

@lucarin91 lucarin91 merged commit eb79b70 into main Dec 15, 2025
7 checks passed
@lucarin91 lucarin91 deleted the force-apt-update branch December 15, 2025 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@martacarbone martacarbone martacarbone approved these changes

@dido18 dido18 dido18 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.

AltStyle によって変換されたページ (->オリジナル) /