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/ -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-