On Thu, May 31, 2018 at 12:52 PM, Sam Varshavchik <mrsam(a)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.