| lotuspsychje | good morning | 02:49 |
|---|---|---|
| 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. | 02:59 |
| === guiverc2 is now known as guiverc | ||
| === NeoFAT32_ is now known as NeoFAT32 | ||
| sem | Yo, just did the ritual of disabling OS_Prober in Grub so that the menu would actually hide. | 14:06 |
| 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:07 |
| sem | I wonder -- could the update-grub output be more verbose, telling the user that OS Prober has rewritten these values? | 14:08 |
| === EriC^ is now known as EriC^^ | ||
| leftyfb | sem: feel free to file a bug with your feature request | 14:15 |
| sem | would I file it with ubuntu or with grub upstream? | 14:30 |
| leftyfb | sem: it would probably make sense to file it upstream | 14:31 |
| sem | OK I'll see if I can | 14:31 |
| sem | I am not sure but I suspect this behavior might be specific to the ubuntu-shipped version of grub | 14:45 |
| 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] | 14:46 | |
| 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:01 |
| 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:39 |
| hggdh | (all my installs are on cloud) | 15:40 |
| 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:41 |
| hggdh | the LP bug will/should be looked by someone interested; given it is there for 8 years, this is iffy | 15:43 |
| hggdh | hum, at least it has had comments until 2021; but many of them add _different_ issues | 15:49 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!