Ubuntu
grub2 package

  1. Bug #439592
  2. Comment #5

Comment 5 for bug 439592

Revision history for this message
Felix Zielcke (fzielcke) wrote : Re: [Bug 439592] Re: Pressing escape does not show boot menu

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