My laptop keyboard recently had a losing encounter with a beer, and the arrow keys don't work anymore. No big deal, I figured -- I remapped CAPS+hjkl to the arrows in xkb, and after a little getting used to it's an improvement. The one problem is that I can't navigate the menu in GRUB anymore. Is there any alternative way to choose which option to boot in GRUB, besides scrolling up and down?
PgUp and PgDn will get me the first and last options, so I can put the two most common choices there and get the rest as needed with a USB keyboard. Obviously this isn't ideal. I vaguely remember that in the old GRUB the options could be selected by number -- is it possible to enable this somehow?