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

* util/grub.d/00_header.in: Quote values assigned to `saved_entry',

Browse source 
in case they contain spaces.
This commit is contained in:
Colin Watson 2010-06-05 20:44:44 +01:00
parent f28a9212b4
commit 71c3809882
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
util/grub.d/00_header.in
View file

@ -62,7 +62,7 @@ EOF
fi
cat <<EOF
if [ \${prev_saved_entry} ]; then
set saved_entry=\${prev_saved_entry}
set saved_entry="\${prev_saved_entry}"
save_env saved_entry
set prev_saved_entry=
save_env prev_saved_entry
@ -71,7 +71,7 @@ fi
function savedefault {
if [ -z \${boot_once} ]; then
saved_entry=\${chosen}
saved_entry="\${chosen}"
save_env saved_entry
fi
}