On 05/31/2018 05:26 PM, Michael Cronenworth wrote:
On 05/31/2018 08:42 AM, Gerald B. Cox wrote:
I'm fine with changing the default - I understand that under normal
circumstances most people could care less about seeing the screen - but I
do strongly agree with the comment above. When things sometimes go
south and you need that menu, there needs to be a simple, well documented
way to get it... easily... without having to go on a google treasure
hunt to find the instructions. Otherwise, don't do it.
Replace the grub menu with "Press any key to access GRUB" or something
similar at the bottom of the screen to at least be a visual clue.
Yes! That's a simple and straightforward (and thus reliable) solution to
the "issue" at hand.
I don't care about the *menu* either, but hidden key combos that need to
be hit at some machine-dependent time window are *terrible*.
- Panu -
_______________________________________________
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/Z2CAHRFGWK4EMDQW4ZASJFGOTQDITHLI/