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
