I've already joined the bug report on launchpad.
What I want to know here is:
How to I reboot directly into the GRUB menu, forced, without having to rely on the buggy sensing of the SHIFT key?
I've heard mention of some variables that can be set, but the 137 mostly nested lines of grub.cfg don't exactly encourage me to experiment.
Thanks.
Bookmarks