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.
_______________________________________________ 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/4PJ53XJN5LY2FWN7OGNJDYITVFPDVXIU/
