}
# Check the arguments.
-for option in "$@"; do
+while test $# -gt 0
+do
+ option=$1
+ shift
+
case "$option" in
-h | --help)
usage
-v | --version)
echo "grub-reboot (GNU GRUB ${PACKAGE_VERSION})"
exit 0 ;;
+
+ --root-directory)
+ rootdir=$1; shift ;;
--root-directory=*)
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
+
-*)
echo "Unrecognized option \`$option'" 1>&2
usage
}
# Check the arguments.
-for option in "$@"; do
+while test $# -gt 0
+do
+ option=$1
+ shift
+
case "$option" in
-h | --help)
usage
-v | --version)
echo "grub-set-default (GNU GRUB ${PACKAGE_VERSION})"
exit 0 ;;
+
+ --root-directory)
+ rootdir=$1; shift ;;
--root-directory=*)
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
+
-*)
echo "Unrecognized option \`$option'" 1>&2
usage
}
# Check the arguments.
-for option in "$@"; do
+while test $# -gt 0
+do
+ option=$1
+ shift
+
case "$option" in
-h | --help)
usage
-v | --version)
echo "grub-install (GNU GRUB ${PACKAGE_VERSION})"
exit 0 ;;
+
+ --modules)
+ modules=$1; shift ;;
--modules=*)
modules=`echo "$option" | sed 's/--modules=//'` ;;
+
+ --root-directory)
+ rootdir=$1; shift ;;
--root-directory=*)
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
+
+ --grub-mkimage)
+ grub_mkimage=$1; shift ;;
--grub-mkimage=*)
grub_mkimage=`echo "$option" | sed 's/--grub-mkimage=//'` ;;
+
+ --grub-mkdevicemap)
+ grub_mkdevicemap=$1; shift ;;
--grub-mkdevicemap=*)
grub_mkdevicemap=`echo "$option" | sed 's/--grub-mkdevicemap=//'` ;;
+
+ --grub-probe)
+ grub_probe=$1; shift ;;
--grub-probe=*)
grub_probe=`echo "$option" | sed 's/--grub-probe=//'` ;;
+
--no-floppy)
no_floppy="--no-floppy" ;;
--recheck)
}
# Check the arguments.
-for option in "$@"; do
+while test $# -gt 0
+do
+ option=$1
+ shift
+
case "$option" in
-h | --help)
usage
-v | --version)
echo "grub-install (GNU GRUB ${PACKAGE_VERSION})"
exit 0 ;;
+
+ --modules)
+ modules=$1; shift ;;
--modules=*)
modules=`echo "$option" | sed 's/--modules=//'` ;;
+
+ --root-directory)
+ rootdir=$1; shift ;;
--root-directory=*)
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
+
+ --grub-mkdevicemap)
+ grub_mkdevicemap=$1; shift ;;
--grub-mkdevicemap=*)
grub_mkdevicemap=`echo "$option" | sed 's/--grub-mkdevicemap=//'` ;;
+
+ --grub-mkimage)
+ grub_mkimage=$1; shift ;;
--grub-mkimage=*)
grub_mkimage=`echo "$option" | sed 's/--grub-mkimage=//'` ;;
+
+ --grub-probe)
+ grub_probe=$1; shift ;;
--grub-probe=*)
grub_probe=`echo "$option" | sed 's/--grub-probe=//'` ;;
+
--no-nvram)
update_nvram=no ;;
# This is an undocumented feature...
input_dir=${pkglibdir}
# Check the arguments.
-for option in "$@"; do
+while test $# -gt 0
+do
+ option=$1
+ shift
+
case "$option" in
-h | --help)
usage
-v | --version)
echo "grub-mkrescue (GNU GRUB ${PACKAGE_VERSION})"
exit 0 ;;
+
+ --modules)
+ modules=$1; shift ;;
--modules=*)
modules=`echo "$option" | sed 's/--modules=//'` ;;
+
+ --pkglibdir)
+ input_dir=$1; shift ;;
--pkglibdir=*)
input_dir=`echo "$option" | sed 's/--pkglibdir=//'` ;;
+
+ --grub-mkimage)
+ grub_mkimage=$1; shift ;;
--grub-mkimage=*)
grub_mkimage=`echo "$option" | sed 's/--grub-mkimage=//'` ;;
+
-*)
echo "Unrecognized option \`$option'" 1>&2
usage