On 05/31/2018 06:06 PM, Chris Murphy wrote: > On Thu, May 31, 2018 at 2:54 PM, Jason L Tibbitts III <ti...@math.uh.edu> > wrote: >>>>>>> "CM" == Chris Murphy <li...@colorremedies.com> writes: >> >> Plus, there's an upside: if you're hammering F11 or F8 or F12 or Esc or >> whatever to try and get into the BIOS, and you miss it, then at least >> you stop in grub instead of going straight into the OS. > > Ick.
Why 'ick'? If you're playing Rachmaninoff on the keyboard during the boot sequence, I think it's a pretty clear indicator that you want to interrupt it somehow. (Unless you're a cat.) So I'd count any sort of interruption as a win, rather than proceeding to a full boot. >> Anyway, I don't really care what gets chosen here, but I sure would like >> the option to actually configure what keys grub watches instead of just >> having it be 'Esc' and maybe patched to include 'F8'. Grub seems to be >> so flexible so it seems odd that this bit is hardcoded. > > That's a good point. +1 -- #ken B-|} Ken, Baron Coar RHCA, RHCVA, Sanagendamgagwedweinini Red Hat IT Infrastructure _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org/message/ZX4E2ACEUGAUKGRXQT6C2S7ZT23SCNOE/
