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.
