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

[Martin-Éric Racine <martin-eric.racine@iki.fi>]

Package: debian-installer
Severity: wishlist
X-Debbugs-Cc: debian-amd64@lists.debian.org, martin-eric.racine@iki.fi
User: debian-amd64@lists.debian.org
Usertags: amd64

While d-i images mostly follow a consistent naming scheme, there are two notable exceptions: the mini netboot ISO and hd-media:

mini.iso
boot.img.gz

It would be desirable for these to follow the naming convention used for other images:

debian-13.2.0-amd64-mini.iso
debian-13.2.0-amd64-boot.img.gz


Cheers!
Martin-Éric

-- System Information:
Debian Release: 13.2
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable-security-debug'), (500, 'stable-security'), (500, 'stable-debug'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 6.12.57+deb13-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=fi_FI.utf8, LC_CTYPE=fi_FI.utf8 (charmap=UTF-8), LANGUAGE=fi:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled