mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-28 18:19:23 +00:00
missing backslash
This commit is contained in:
1 parent
b445cfaa4d
commit
fcab4f04e5
1 file changed
+1
-1
@@ -95,7 +95,7 @@ save_default_entry ()
|
|||||||
if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
|
if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
|
||||||
cat << EOF
|
cat << EOF
|
||||||
if [ -z \${boot_once} ]; then
|
if [ -z \${boot_once} ]; then
|
||||||
set saved_entry=${chosen}
|
set saved_entry=\${chosen}
|
||||||
save_env saved_entry
|
save_env saved_entry
|
||||||
fi
|
fi
|
||||||
EOF
|
EOF
|
||||||
|
|||||||
Reference in new issue
Block a user