On 05/31/2018 06:06 PM, Chris Murphy wrote: > On Thu, May 31, 2018 at 2:54 PM, Jason L Tibbitts III <tibbs@xxxxxxxxxxx> wrote: >>>>>>> "CM" == Chris Murphy <lists@xxxxxxxxxxxxxxxxx> 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@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/ZX4E2ACEUGAUKGRXQT6C2S7ZT23SCNOE/
