mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 16:19:22 +00:00
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
* util/grub-reboot.in: Fix --version output. * util/grub-set-default.in: Likewise.
This commit is contained in:
1 parent
42356b4d5e
commit
47075ea3c7
3 files changed
+7
-2
No files matched your search
@@ -1,3 +1,8 @@
|
|||||||
|
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
||||||
|
|
||||||
|
* util/grub-reboot.in: Fix --version output.
|
||||||
|
* util/grub-set-default.in: Likewise.
|
||||||
|
|
||||||
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
||||||
|
|
||||||
* util/grub.d/00_header.in: Silently ignore zero-sized environment
|
* util/grub.d/00_header.in: Silently ignore zero-sized environment
|
||||||
|
|||||||
+1
-1
@@ -51,7 +51,7 @@ for option in "$@"; do
|
|||||||
usage
|
usage
|
||||||
exit 0 ;;
|
exit 0 ;;
|
||||||
-v | --version)
|
-v | --version)
|
||||||
echo "grub-install (GNU GRUB ${PACKAGE_VERSION})"
|
echo "grub-reboot (GNU GRUB ${PACKAGE_VERSION})"
|
||||||
exit 0 ;;
|
exit 0 ;;
|
||||||
--root-directory=*)
|
--root-directory=*)
|
||||||
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
|
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
|
||||||
|
|||||||
@@ -51,7 +51,7 @@ for option in "$@"; do
|
|||||||
usage
|
usage
|
||||||
exit 0 ;;
|
exit 0 ;;
|
||||||
-v | --version)
|
-v | --version)
|
||||||
echo "grub-install (GNU GRUB ${PACKAGE_VERSION})"
|
echo "grub-set-default (GNU GRUB ${PACKAGE_VERSION})"
|
||||||
exit 0 ;;
|
exit 0 ;;
|
||||||
--root-directory=*)
|
--root-directory=*)
|
||||||
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
|
rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
|
||||||
|
|||||||
Reference in new issue
Block a user