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.
Attachment:
pgpSMQiCaywxE.pgp
Description: PGP signature
_______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx/message/QOLFT5WC7MC73KLJ3DGI6PTGJGQBCVT3/