Jan Kurik writes:
= Proposed System Wide Change: Hide the grub menu = https://fedoraproject.org/wiki/Changes/HiddenGrubMenuOwner(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.
pgpeyEUyeRUvK.pgp
Description: PGP signature
_______________________________________________ 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/QOLFT5WC7MC73KLJ3DGI6PTGJGQBCVT3/
