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.d/00_header.in: Silently ignore zero-sized environment blocks.
This commit is contained in:
1 parent
36cd6dd151
commit
42356b4d5e
2 files changed
+8
-1
No files matched your search
@@ -1,3 +1,8 @@
|
|||||||
|
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
||||||
|
|
||||||
|
* util/grub.d/00_header.in: Silently ignore zero-sized environment
|
||||||
|
blocks.
|
||||||
|
|
||||||
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
|
||||||
|
|
||||||
* util/grub.d/00_header.in: Quote the value assigned to `default',
|
* util/grub.d/00_header.in: Quote the value assigned to `default',
|
||||||
|
|||||||
@@ -39,7 +39,9 @@ if [ "x${GRUB_TIMEOUT}" = "x" ] ; then GRUB_TIMEOUT=5 ; fi
|
|||||||
if [ "x${GRUB_GFXMODE}" = "x" ] ; then GRUB_GFXMODE=640x480 ; fi
|
if [ "x${GRUB_GFXMODE}" = "x" ] ; then GRUB_GFXMODE=640x480 ; fi
|
||||||
|
|
||||||
cat << EOF
|
cat << EOF
|
||||||
load_env
|
if [ -s \$prefix/grubenv ]; then
|
||||||
|
load_env
|
||||||
|
fi
|
||||||
set default="${GRUB_DEFAULT}"
|
set default="${GRUB_DEFAULT}"
|
||||||
if [ \${prev_saved_entry} ]; then
|
if [ \${prev_saved_entry} ]; then
|
||||||
saved_entry=\${prev_saved_entry}
|
saved_entry=\${prev_saved_entry}
|
||||||
|
|||||||
Reference in new issue
Block a user