Bug#1013797: grub-efi: grub no longer offers to boot Windows

2022-06-27 Thread Ralf Jung
Ah, turns out I need to add "GRUB_DISABLE_OS_PROBER=false" in /etc/default/grub. I think it is bad to silently change the default in an upgrade here, since it can leave people locked out of an OS they need. GRUB_DISABLE_OS_PROBER is not even listed in /etc/default/grub.ucf-dist. Kind regards,

Bug#1013797: grub-efi: grub no longer offers to boot Windows

2022-06-25 Thread Ralf Jung
Package: grub-efi Version: 2.06-3 Severity: important Dear Maintainer, After doing a system update, the option to boot Windows has disappeared from Grub. I have not changed anything else. This will be a big problem the next time I actually need to boot Windows. Kind regards, Ralf --