On Tue, 25 Mar 2014 20:42:07 +0000 (UTC), James wrote:

> So I have these entries in my /etc/default/grub file:
> 
> GRUB_DISTRIBUTOR="Gentoo"
> GRUB_DEFAULT=kernel-3.13.6-gentoo
> GRUB_HIDDEN_TIMEOUT=3
> GRUB_TIMEOUT=10
> GRUB_GFXMODE=1024x768
> 
> I ran 'grub2-mkconfig -o /boot/grub/grub.cfg'
> after the last ebuild of 3.13.6-gentoo
> 
> 
> /boot shows:
> kernel-3.13.0-gentoo
> kernel-3.13.0-gentoo-r1
> kernel-3.13.1-gentoo
> kernel-3.13.6-gentoo
> kernel-3.13.6B-gentoo
> kernel-3.13.7-gentoo
> 
> 
> Obviously, I like to kept kernel experiments around a while....
> 
> So when I get the Grub2 (ascii) boot menu and just select the 
> default, it boots kernel-3.13.7-gentoo, despite 
> 'kernel-3.13.6-gentoo' being set in as the default for Grub2?

DEFAULT, if not set to a number, matches the title or --id of a menu
entry, not the kernel name (you could have several entries with the same
kernel).

> Also, is there a nice 'gui' boot-menu for grub2 ?

Yes, GRUB2 can use themes. The starfield theme is included, uncomment the
GRUB_THEME setting in the defaults file.

> The is what I have read on grub2 (man pages, gentoo wiki) so additional
> reading, with some useful examples would also be much appreciated.

The grub info pages are more helpful than the man page.


-- 
Neil Bothwick

Always be sincere even if you don't mean it.