18 May
2013
18 May
'13
9:41 p.m.
On 18/05/13 16:44, Richard Lewis wrote:
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.
Of course we care - glad you sorted the problem - item archived for possible future reference.
--
Tony
http://www.girolle.co.uk/