Repository navigation
Make base ISO downloads survive mirror moves and dead mirror hosts - #736
Merged
Merged
Conversation
Debian only moves a point release into cdimage/archive once it has been superseded, so the archive URL 404s for the current release. That broke every automated base ISO bump (e.g. #727, debian-13.7.0). Try debian-cd first and fall back to the archive. Download with curl instead of busybox wget. cdimage.debian.org resolves to two addresses and one of them is currently unreachable; wget gives up on it while curl moves on to the next one. Partial downloads are removed so a failed attempt is not reused by the next build. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
3alpha
approved these changes
Oct 8, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Problem
debian-13.7.0). Debian keeps the newest point release underdebian-cd/<version>/and only moves it tocdimage/archive/once a newer one supersedes it. The generator only tries the archive.cdimage.debian.orgresolves to two addresses (mirror.accum.se), and one of them (194.71.11.173) is currently unreachable. BusyBoxwgetgives up on the first address, so ISO builds fail intermittently depending on the DNS answer.wget -Oleaves a partial file inimages/, which the next local build reuses and then fails the checksum.Fix
download_iso <path> <name> <url> [fallback_url...]tries URLs in order. Debian passesdebian-cd/first, thenarchive/.curl -fsSL --retry 3 --retry-connrefused --connect-timeout 30(already in the build image). curl moves on to the next resolved address.Ubuntu keeps its single URL; checksum verification is unchanged.
Verification
archive/13.7.0falls through todebian-cd/13.7.0.Unblocks #727.
🤖 Generated with Claude Code