You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit b1b36dc
Browse filesBrowse the repository at this point in the historyBrowse files
Make base ISO downloads survive mirror moves and dead mirror hosts
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>
0 commit comments