Re: Bug#1124082: debian-installer: please rename mini.iso to e.g.debian-13.2.0-amd64-mini.iso

Cyril Brulebois <[email protected]> Sun, 28 Dec 2025 14:44:25 +0100

Newsgroups	gmane.linux.debian.devel.cd
Organization	Debian
Message-ID	<[email protected]>

Martin-Éric Racine <[email protected]> (2025-12-28):
> su 28.12.2025 klo 15.15 Cyril Brulebois ([email protected]) kirjoitti:
> > 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?

What I had in mind was adding some kind of `echo $VERSION > VERSION` in
the src:debian-installer build system, so that the VERSION file would be
shipped alongside the rest, then included into the archive, allowing for
easier introspection than looking into .disk/* after loop-mounting
stuff. (The archive tooling merely unpacks a specific tarball into
place, there's no specific “Debian mirror generation” magic.)

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

Paging debian-cd@, that's their realm. If they're happy with it, they
can steal this bug report.


Cheers,
-- 
Cyril Brulebois ([email protected])            <https://debamax.com/>
D-I release manager -- Release team member -- Freelance Consultant

signature.asc (application/pgp-signature, 833 B)