On Sun, Jun 27, 2021 at 05:24:00PM +0200, Pascal Hambourg wrote: > Le 27/06/2021 à 16:45, Chris Green a écrit : > > On Sun, Jun 27, 2021 at 03:50:27PM +0200, Pascal Hambourg wrote: > > > > > > Maybe Windows boot > > > manager modified EFI boot entries and took precedence over GRUB. > (...) > > Your idea makes sense. Whatever happened it's quite handy! :-) > > Unless you don't want Windows boot manager to take precedence over GRUB. > Rather annoying IMO. > Ah, I didn't mean in general, I just meant in this particular case where it makes a virtual W10 machine 'just work' rather than having to enter those grub commands manually every time.
-- Chris Green
