Having found http://ubuntuforums.org/showthread.php?t=1428427 it looks like the pre-requisite is to configure
GRUB_DEFAULT=saved There is a comment at the top of /etc/default/grub which refers the reader to info -f grub -n 'Simple configuration' where this is documented. However it is not mentioned in the manpages of grub-reboot, grub-set- default or grub-editenv; I think it would be useful if it were. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1102925 Title: grub-reboot does not select kernel To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1102925/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs