----- Original Message ----- > From: "James Harkins" <jamshark70@xxxxxxxxx> > 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@xxxxxxxxxxxxxxxxxxxx http://lists.linuxaudio.org/listinfo/linux-audio-user
