projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e661c18) | patch
* util/grub-reboot.in (usage): Document the need for
authorColin Watson <cjwatson@ubuntu.com>
Tue, 22 Jan 2013 14:28:32 +0000 (14:28 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Tue, 22 Jan 2013 14:28:32 +0000 (14:28 +0000)
commit7782b8a62f342d15c8a8e64978454296275148b9
treebb6d0a063df5dcf290abd35e23060aec837cd49ftree | snapshot
parente661c180ea402005cf9f0c569e53f9c1a099324acommit | diff
* 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.
ChangeLog diff | blob | history
util/grub-reboot.in diff | blob | history
util/grub-set-default.in diff | blob | history
GRUB2 development