My understanding is that grub-pc conflicts with grub-efi-amd64 (and other top-level GRUB packages), so having both installed shouldn't even be possible. (I've filed a bug report on the Debian side to address this, as this situation is not ideal: https://bugs.debian.org/904062) And that if you want the GRUB installation tools, but don't want the bootloader installed automatically on the running system, then this is when you'd install a grub-foo-bin package without the corresponding grub-foo.
My point was just that the "Don't install to the EFI removable media path" question is not orthogonal to your hypothetical "Create an EFI subdirectory?" question, so maybe the solution would be to replace the former with some kind of multi-choice question. ** Bug watch added: Debian Bug tracker #904062 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=904062 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1783044 Title: grub-efi-amd64 postinst fails to install GRUB if /boot/efi/EFI/ubuntu/ is not present To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1783044/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
