[02:49] <lotuspsychje> good morning
[02:59] <lotuspsychje> !lunar is <reply> Ubuntu 23.04 (Lunar Lobster) will be the 38th release of Ubuntu, scheduled for release April 2023 (http://ubottu.com/y/ll). Join #ubuntu-next for support and questions.
=== guiverc2 is now known as guiverc
=== NeoFAT32_ is now known as NeoFAT32
[14:06] <sem> Yo, just did the ritual of disabling OS_Prober in Grub so that the menu would actually hide.
[14:07] <sem> The OS Prober script rewrites 'hidden' to 'countdown' and timeout=0 to timeout=10 in case you used those values by accident
[14:07] <sem> but it's not obvious at first glance that it is doing this...
[14:08] <sem> I wonder -- could the update-grub output be more verbose, telling the user that OS Prober has rewritten these values?
=== EriC^ is now known as EriC^^
[14:15] <leftyfb> sem: feel free to file a bug with your feature request
[14:30] <sem> would I file it with ubuntu or with grub upstream?
[14:31] <leftyfb> sem: it would probably make sense to file it upstream
[14:31] <sem> OK I'll see if I can
[14:45] <sem> I am not sure but I suspect this behavior might be specific to the ubuntu-shipped version of grub
[14:46] <sem> aha found it https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1273764 - unassigned, bug since 2014
[14:46] -ubottu:#ubuntu-discuss- Launchpad bug 1273764 in grub2 (Ubuntu Vivid) "Grub ignores TIMEOUT options on /etc/default/grub" [Medium, Triaged]
[15:01] <sem> how do bugs like this get fixed? there are many more higher priority bugs in Grub, but this one has a patch since 2018
[15:01] <sem> does somebody just need to pull in the fix, test it, and approve the change?
[15:39] <hggdh> TIMEOUT=0 is very good until the boot fails. I would keep TIMEOUT to a non-zero value; I usually set it to 5 -- small enough to not bother, and long enough to allow GRUB to be interrupted
[15:40] <hggdh> (all my installs are on cloud)
[15:41] <hggdh> also, Ubuntu has /etc/default/grub.d/, where you can add your own configuration changes. /etc/default/grub.d/* is not touched by package updates, while /etc/default/grub is
[15:43] <hggdh> the LP bug will/should be looked by someone interested; given it is there for 8 years, this is iffy
[15:49] <hggdh> hum, at least it has had comments until 2021; but many of them add _different_ issues