Re: [gentoo-user] UEFI booting again - FIXED

2020-10-20 Thread Peter Humphrey
On Monday, 19 October 2020 18:08:53 -00 Michael wrote: > However, I don't think anyone would argue against empirical repeatable > outcomes. :-) :) -- Regards, Peter.

Re: [gentoo-user] UEFI booting again - FIXED

2020-10-19 Thread Michael
On Monday, 19 October 2020 17:10:57 BST Peter Humphrey wrote: > On Monday, 19 October 2020 14:08:05 -00 Michael wrote: > > Are you saying calling 'efibootmgr -v' lists a different UEFI boot menu? > > No, I'm saying that I appear to be able to create a BIOS entry using > efibootmgr, but when I rebo

Re: [gentoo-user] UEFI booting again - FIXED

2020-10-19 Thread Peter Humphrey
On Monday, 19 October 2020 14:08:05 -00 Michael wrote: > Are you saying calling 'efibootmgr -v' lists a different UEFI boot menu? No, I'm saying that I appear to be able to create a BIOS entry using efibootmgr, but when I reboot and enter BIOS setup, the entry often isn't there. Or if it is, e

Re: [gentoo-user] UEFI booting again - FIXED

2020-10-19 Thread Michael
On Monday, 19 October 2020 13:08:35 BST Peter Humphrey wrote: > On Sunday, 11 October 2020 23:21:49 -00 pe...@prh.myzen.co.uk wrote: > > Can anyone please tell me precisely where 'efibootmgr -c ...' writes a > > boot > > record, or whatever it's called? My machine seems unable to store what I > > g