On 05/31/2018 06:06 PM, Chris Murphy wrote:
On Thu, May 31, 2018 at 2:54 PM, Jason L Tibbitts III
<tibbs(a)math.uh.edu> wrote:
>>>>>> "CM" == Chris Murphy <lists(a)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