grub

  1. Bug #1178618
  2. Comment #16

Comment 16 for bug 1178618

Revision history for this message
Colin Watson (cjwatson) wrote : Re: [Bug 1178618] Re: --hotkey option does not work when the menu is hidden

This patch has at least the following flaws:

 * It duplicates content (key names) from the normal module.
 * It has an absurdly long if chain which should be table-driven
   instead.
 * It does not meet the requirement of passing at least some hotkeys on
   to the menu; instead, you will in practice need to press the hotkey
   twice to actually boot the hotkeyed menu entry.

If anyone has further iterations of Franz's patch, could you please move
them to the thread on grub-devel instead? Otherwise I'm going to have
to relay them back and forward, which is inefficient.