* util/grub.d/00_header.in: Quote the value assigned to `default',
in case it contains spaces.
+2009-12-08 Colin Watson <cjwatson@ubuntu.com>
+
+ * util/grub.d/00_header.in: Quote the value assigned to `default',
+ in case it contains spaces.
+
2009-12-08 Colin Watson <cjwatson@ubuntu.com>
* util/grub.d/30_os-prober.in: Fix merge error that moved a
cat << EOF
load_env
-set default=${GRUB_DEFAULT}
+set default="${GRUB_DEFAULT}"
if [ \${prev_saved_entry} ]; then
saved_entry=\${prev_saved_entry}
save_env saved_entry