[Bug 543834] Re: grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved

2020-04-13 Thread Daniel Richard G.
I've confirmed that this issue is still present in Ubuntu focal.

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

** Tags added: focal

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/543834

Title:
  grub-set-default and grub-reboot should give a warning when
  GRUB_DEFAULT != saved

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/543834/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 543834] Re: grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved

2020-03-05 Thread Marcus Tomlinson
This release of Ubuntu is no longer receiving maintenance updates. If
this is still an issue on a maintained version of Ubuntu please let us
know.

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

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/543834

Title:
  grub-set-default and grub-reboot should give a warning when
  GRUB_DEFAULT != saved

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/543834/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 543834] Re: grub-set-default and grub-reboot should give a warning when GRUB_DEFAULT != saved

2011-05-24 Thread Daniel Richard G.
Agreed. I was about to file a bug to the effect of grub-set-default
does not work.

Also, the grub-set-default(8) and grub-reboot(8) man pages clearly need
to mention this caveat.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/543834

Title:
  grub-set-default and grub-reboot should give a warning when
  GRUB_DEFAULT != saved

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs