* util/grub-install.in: Add --grub-editenv option.

* util/grub-install_header (grub_compress_file): Explicitly check for
	plain file to avoid cp error.
This commit is contained in:
Andrey Borzenkov 2013-09-22 21:47:52 +04:00
parent 775b284dd6
commit d68d01573b
3 changed files with 19 additions and 3 deletions

View file

@ -75,6 +75,7 @@ usage () {
print_option_help "--grub-setup=$(gettext "FILE")" "$(gettext "use FILE as grub-setup")"
print_option_help "--grub-mkrelpath=$(gettext "FILE")" "$(gettext "use FILE as grub-mkrelpath")"
print_option_help "--grub-probe=$(gettext "FILE")" "$(gettext "use FILE as grub-probe")"
print_option_help "--grub-editenv=$(gettext "FILE")" "$(gettext "use FILE as grub-editenv")"
# TRANSLATORS: "may break" doesn't just mean that option wouldn't have any
# effect but that it will make the resulting install unbootable from HDD.
print_option_help "--allow-floppy" "$(gettext "make the drive also bootable as floppy (default for fdX devices). May break on some BIOSes.")"
@ -173,6 +174,11 @@ do
--grub-probe=*)
grub_probe="`echo "$option" | sed 's/--grub-probe=//'`" ;;
--grub-editenv)
grub_editenv="`argument "$option" "$@"`"; shift;;
--grub-editenv=*)
grub_editenv="`echo "$option" | sed 's/--grub-editenv=//'`" ;;
--no-floppy)
;;
--recheck)