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