On Sun, Mar 21, 2021 at 12:01:51PM +0100, deloptes wrote: > I don't know about /boot/efi/EFI/BOOT > IMO it shouldn't be there > > # ls /boot/efi/EFI/ > debian > > The directory "debian" is the entry, you see when the PC boots. "debian" is obviously put there by the Debian installer. There may be other entries as well, which were put there by other entities. unicorn:~$ sudo ls /boot/efi/EFI [sudo] password for greg: Boot debian HP Microsoft