On Thu, May 31, 2018 at 6:53 AM Sam Varshavchik <mr...@courier-mta.com> wrote: > > Jan Kurik writes: > > > = Proposed System Wide Change: Hide the grub menu = > > https://fedoraproject.org/wiki/Changes/HiddenGrubMenu > > > > > > Owner(s): > > * Hans de Goede <hdegoede at redhat dot com> > > > > > > On systems with only a single OS installed, the grub menu does not > > offer any useful functionality, so we should hide it by default. > > Ummm, yes it does. It lets you boot into single user mode, or select the > previous kernel to boot. That might be a critical function, in an emergency. > > Here's a radical idea: just prompt this as an installation option.
It's also useful to see a report of what the default kernel is. _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/HN7U3AMZL3GXK25QL3TN5WC7YP4LHB7K/
