Hello, After as long time hesitating to upgrade grub-efi* I did that today, going from 2.00-22 to 2.03~beta3-4. That upgrade did not ask me if I wanted to install the efi file somewhere else than the default.
Something is maybe still wrong with the patch: grub-install-extra- removable.patch. Looking through that patch quickly I did not see any problems though. grub-install is never called when upgrading, only update-grub? Especially when is the grub-install option --force-extra-removable activated? The efi file on my box is at: /boot/efi/EFI/Boot/bootx64.efi where I already had a copy of the 2.00-22 version. The upgrade did install the efi file at: /boot/efi/EFI/debian/grubx64.efi, nowhere else. Thanks
