On Sat 24 Dec 2022, Bernhard Übelacker wrote: > is this issue what the NEWS [1] file notifies about, > to check the need of GRUB_DISABLE_OS_PROBER?
> [1] https://sources.debian.org/src/grub2/2.06-7/debian/NEWS/ Thanks, somehow I skipped that. I do want to note that having a double negative in a config is not a nice thing to have: "Disable this? no". Easier to read: "Enable this? yes" "Don't you want this beer?" -- most people will say yes if they *do* want the beer. "Don't you want OS Prober?" "no"...?! Anyway, probably too late now to do anything about this. You can close this bug. Paul
