On Thu, May 31, 2018 at 12:52 PM, 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. > The next few lines of the proposal covers exactly the point you're making.
_______________________________________________ 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/KCN4MZHGXEAADUYU7WXOMYHPNP2C5J7A/