On Thu, 2018-05-31 at 19:19 -0400, Ben Rosser wrote: > So, back to the topic of this thread: while I don't think this choice > belongs in the installer, I do think there should be detailed > instructions somewhere for end users on how to enable or disable the > grub boot menu, so they can _choose_ the behavior that they want. A > quick Google search for "fedora hide grub menu" turned up a blog post > or two, an ask.fp.o post, a couple forum threads, and a Stack Exchange > post as the first few results, which makes me believe it's not > currently well explained anywhere in our documentation? There's nothing Fedora-specific about it. It's just a grub config option. -- Adam Williamson Fedora QA Community Monkey IRC: adamw | Twitter: AdamW_Fedora | XMPP: adamw AT happyassassin . net http://www.happyassassin.net _______________________________________________ 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/KISYBFZZRFCJU2REFRA3LMWSXFI7O2X5/
