----- Original Message -----
> From: "James Harkins" <jamshark70@email-addr-hidden>
> 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
_______________________________________________
Linux-audio-user mailing list
Linux-audio-user@email-addr-hidden
http://lists.linuxaudio.org/listinfo/linux-audio-user
Received on Tue Aug 21 16:15:02 2012
This archive was generated by hypermail 2.1.8 : Tue Aug 21 2012 - 16:15:02 EEST