vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

* util/grub-reboot.in (usage): Mention id posibility.

Browse source 
* util/grub-set-default.in (usage): Likewise.
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2012-03-05 01:19:42 +01:00
parent 1a2fd1e674
commit 32bd735bd6
3 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2012-03-04 Vladimir Serbinenko <phcoder@gmail.com>
* util/grub-reboot.in (usage): Mention id posibility.
* util/grub-set-default.in (usage): Likewise.
2012-03-04 Vladimir Serbinenko <phcoder@gmail.com> 2012-03-04 Vladimir Serbinenko <phcoder@gmail.com>
* include/grub/misc.h (ALIGN_UP_OVERHEAD): New define. * include/grub/misc.h (ALIGN_UP_OVERHEAD): New define.

2
util/grub-reboot.in
View file

@ -53,7 +53,7 @@ usage () {
dirmsg="$(gettext_printf "expect GRUB images under the directory DIR/%s instead of the %s directory" "@grubdirname@" "$grubdir")" dirmsg="$(gettext_printf "expect GRUB images under the directory DIR/%s instead of the %s directory" "@grubdirname@" "$grubdir")"
printf " --boot-directory=%-7s%s\n" "$(gettext "DIR")" "$dirmsg" printf " --boot-directory=%-7s%s\n" "$(gettext "DIR")" "$dirmsg"
echo echo
gettext "MENU_ENTRY is a number or a menu item title."; echo gettext "MENU_ENTRY is a number, a menu item title or a menu item identifier."; echo
echo echo
gettext "Report bugs to <bug-grub@gnu.org>."; echo gettext "Report bugs to <bug-grub@gnu.org>."; echo
} }

2
util/grub-set-default.in
View file

@ -53,7 +53,7 @@ usage () {
dirmsg="$(printf "expect GRUB images under the directory DIR/%s instead of the %s directory" "@grubdirname@" "$grubdir")" dirmsg="$(printf "expect GRUB images under the directory DIR/%s instead of the %s directory" "@grubdirname@" "$grubdir")"
printf " --boot-directory=%-7s%s\n" "$(gettext "DIR")" "$dirmsg" printf " --boot-directory=%-7s%s\n" "$(gettext "DIR")" "$dirmsg"
echo echo
gettext "MENU_ENTRY is a number or a menu item title."; echo gettext "MENU_ENTRY is a number, a menu item title or a menu item identifier."; echo
echo echo
gettext "Report bugs to <bug-grub@gnu.org>."; echo gettext "Report bugs to <bug-grub@gnu.org>."; echo
} }