Re: [gentoo-user] Dual booting with Windows 10

[Peter Humphrey]

On Monday, 18 September 2017 11:52:13 BST Mick wrote:
> On Monday, 18 September 2017 08:53:01 BST Peter Humphrey wrote:
> > I mean the things that "bootctl status" displays. I've already disabled
> > the unwanted ones in the UEFI BIOS's list of bootable kernels, but
> > bootctl still shows them and won't remove them.
>
> Have you deleted/moved the xxx.efi files and these continue to be shown in
> bootctl?

There's only the one, but yes:

# find /boot -name \*.efi
/boot/EFI/systemd/systemd-bootx64.efi

> Have you tried using efibootmgr to delete them?

Ah! That looks like just what I need. I should have thought of it myself, 
but thanks for the nudge.

Now to start poking about where angels fear to tread...

-- 
Regards,
Peter.