After more testing it looks like I was plan wrong, <ID> is just the value of GRUB_DISTRIBUTOR as found in /etc/default/grub put in lower case letters.
Didier On 12/22/25 23:09, Didier Spaier wrote: > Hello, > > while testing GRUB 2.14-rc on Slint, I noticed a change in the default > behavior of `grub-install` on EFI systems that does not seem to be > documented. > > When `--bootloader-id` is not explicitly specified, `grub-install` > now installs the EFI binary under: > > EFI/<ID>/grubx64.efi > > where `<ID>` is taken from `/etc/os-release` (e.g. ID=slint), i.e. the > behavior is equivalent to passing `--bootloader-id=<ID>`. > > This behavior is perfectly fine and actually desirable (it avoids > collisions in multi-boot setups), but I could not find it documented > in: > > * `info grub` > * `man grub-install` > * `grub-install --help` > > As a result, distribution maintainers or users upgrading GRUB may be > surprised by the change in the EFI directory name if they relied on the > previous implicit default. > > I think it would be helpful to explicitly document this default, for > example in `man grub-install`, along the lines of: > > “If --bootloader-id is not specified, grub-install uses the operating > system ID from /etc/os-release when available.” > > If this behavior is intentional (which it appears to be), would you > accept a documentation update, or should this be documented elsewhere? > > Thank you for your work on GRUB. > > Best regards, > Didier Spaier > Slint maintainer _______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
