21 Aug
2012
21 Aug
'12
3:15 p.m.
----- Original Message -----
From: "James Harkins"
<jamshark70(a)gmail.com>
Maybe overkill: grub-customizer lets you choose whichever installed
kernel you want to be the default.
edit /etc/default/grub and change GRUB_DEFAULT=0 to whatever you want
(0 is first entry in the list, 1 is second entry, and so on)
then run 'update-grub' as root (I suppose)
info -f grub -n 'Simple configuration'
says it all