Le 28/11/2021 à 15:06, Steve McIntyre a écrit :
On Sun, Nov 28, 2021 at 02:24:06PM +0100, Pascal Hambourg wrote:
Shouldn't there normally be EFI/boot/bootx64.efi?
Not by default. It happens only if you choose to install a copy of the boot
loader in the removable device path. The option is available only in expert
install or after changing priority for questions to low.
Agreed. We deliberately do *not* install there by default as this can
cause other OSes not to boot. We try to be more accommodating than
Windows etc. :-/
This is too detrimental to Debian IMO, there are too many broken UEFI
firmwares out there. As I suggested in a previous post, what about
setting grub2/force_efi_extra_removable true by default when the file
does not exist ?