On Mon, Feb 06, 2012 at 02:55:38PM +0100, Reindl Harald wrote:
who decided that it is a good idea to hide the grub-menu?
It was F10 feature: http://fedoraproject.org/wiki/Features/BetterStartup
I believe showing GRUB2 menu is a regression which will be
fixed before F17 release.
Tomasz Torcz "God, root, what's the difference?"
xmpp: zdzichubg(a)chrome.pl "God is more forgiving."