On Mar 11, 2013, at 2:16 PM, Lennart Poettering <mzerqung@xxxxxxxxxxx> wrote: > Somebody who is capable of installing multiple operating systems on one > machine should easily be savvy enough to remember that pressing > shift/esc/space/f2/whatever gets him the boot menu. When I said "at least" I meant "at most". > If you installed multiple OSes and noticed that the boot menu is gone, > wouldn't pressing these keys be your natural reaction anyway? With a sample size of one, apparently the answer is yes except for Esc which I did not think to try, yet is the only key GRUB responds to. Documentation says "any key". I've filed a bug. Chris Murphy -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
