Thanks for your report.  I've committed a change upstream for 2.01 to
document this:

2013-01-22  Colin Watson  <cjwat...@ubuntu.com>

        * util/grub-reboot.in (usage): Document the need for
        GRUB_DEFAULT=saved.
        * util/grub-set-default.in (usage): Likewise.
        Reported by: Brian Candler.  Fixes Ubuntu bug #1102925.

** Changed in: grub2 (Ubuntu)
   Importance: Undecided => Medium

** Changed in: grub2 (Ubuntu)
       Status: New => In Progress

** Changed in: grub2 (Ubuntu)
     Assignee: (unassigned) => Colin Watson (cjwatson)

-- 
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

Reply via email to