Skip to content

Instantly share code, notes, and snippets.



Last active Aug 29, 2015
What would you like to do?
Change the default boot kernel with `grub` 2.0.2beta
dpkg -i linux-image-${mykern}_amd64.deb
sed -i 's/^GRUB_DEFAULT=.*/GRUB_DEFAULT=saved/' /etc/default/grub
grub-mkconfig -o /boot/grub/grub.cfg
UUID=`blkid -s UUID -o value /dev/xvda1`
grub-set-default "gnulinux-advanced-$UUID>gnulinux-$mykern-advanced-$UUID"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.