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 ?