18 May
2013
18 May
'13
4:44 p.m.
At Sun, 12 May 2013 13:00:25 +0100, Richard Lewis wrote:
GRUB_DEFAULT=2
in /etc/default/grub and running update-grub seems not to have taken effect (the 3.8 kernel still gets booted).
In case anyone cares, I fixed this by setting
GRUB_DEFAULT="1>2"
That is, you can use the ">" to select items in GRUB submenus. So this selects the "Advanced boot options", then the 3.2 kernel option.
Richard
--
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Richard Lewis
j: ironchicken@jabber.earth.li
@: lewisrichard
http://www.richardlewis.me.uk/
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-