[Bug 439592] Re: Pressing escape does not show boot menu

[Felix Zielcke]

Am Mittwoch, den 30.09.2009, 20:21 +0000 schrieb Benjamin Drung:
> Thanks, that works. Is this behavior documented somewhere?
> 

Here it is
https://wiki.ubuntu.com/Grub2#grub%20%28/etc/default/grub%29

-- 
Felix Zielcke
Proud Debian Maintainer and GNU GRUB developer

-- 
Pressing escape does not show boot menu
https://bugs.launchpad.net/bugs/439592
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs