Bug#1139922: grub-install --force-extra-removable create broken BOOT directory

[Harald Dunkel]

> The normal monolithic image grubx64.efi has $prefix hardcoded to 
> /EFI/debian and originally only looked up grub.cfg in this path, so it 
> made no sense to install a copy of grub.cfg in /EFI/BOOT. Currently it 
> searches grub.cfg in the image path ($fw_path), then in $prefix. 
> Executing it from the removable media path /EFI/BOOT works with the 
> default $GRUB_DISTRIBUTOR or --bootloader-id (Debian) because grub.cfg 
> is installed in /EFI/debian, but not with a custom one.

What happens if I use --bootloader-id to set a new ID, and there already
is a "debian" in nvram, eg from a previous run or from another bootable
disk? Is /boot/efi/EFI/debian renamed or removed on setting a bootloader
ID?

I think it should be made much more visible in the man page that grub-
install sets up just one or two directories of boot loader items, and
that it doesn't clean up if there is a mess.

Just my $0.02 of course.

Regards
Harri