Bug#1124082: debian-installer: please rename mini.iso to e.g.debian-13.2.0-amd64-mini.iso
su 28.12.2025 klo 15.15 Cyril Brulebois (kibi@debian.org) kirjoitti:
>
> Martin-Éric Racine <martin-eric.racine@iki.fi> (2025-12-28):
> > It indeed is about making it easier to keep track of downloads.
> > Currently, I have to download the mini ISO, mount it, then cat
> > .disk/info to know what to rename it to. It also means that I have to
> > do this for every architecture I download, instead of just downloading
> > a bunch of files and letting the filename tell me which distribution
> > and architecture is the target.
>
> Let's see what's inside those files:
>
> Debian GNU/Linux 12 (bookworm) amd64 - netboot mini.iso 20230607+deb12u12
>
> As you can see, that's linked to a *debian-installer* version, for which
> there's no 1:1 mapping regarding an actual release this might or might
> not be included into.
[...]
> A minimal change that would make it possible for you to automate your
> downloads would be echo-ing the version in a top-level file, alongside
> MANIFEST*, *SUMS, etc. Something like VERSIONS containing just
> 20230607+deb12u12. Would that help?
Possibly. Would that be implemented at the Debian mirror generation
level, or are you implying that I should just come up with my own
script?
> I know the pros and cons, and whether mini.iso is useful wasn't the
> point.
Agreed.
Another question: Would including mini-ISO into the regular batch
release scripting for cdimage (and thus adding mini-ISO to cdimage
mirrors) be entirely out of the question? Then it would always be in
sync and following the naming convention would come as a byproduct.
Martin-Éric
Reply to: