Bug#708181: Workaround
Kim Rydhof Thor Hansen
kim at rthansen.dk
Sat Jan 11 16:34:50 UTC 2014
I was also bitten by this bug, the problem it that the default
behaviour for menus with no security defined has changed from being
unrestricted to being restricted if some users are defined.
My workaround is to make the "Simple" default selection unrestricted like this:
root at mich:/etc/grub.d# hg diff
diff -r 5132058ad651 grub.d/10_linux
--- a/grub.d/10_linux Sat Jan 11 14:23:52 2014 +0000
+++ b/grub.d/10_linux Sat Jan 11 16:33:37 2014 +0000
@@ -132,7 +132,7 @@
fi
echo "menuentry '$(echo "$title" | grub_quote)' ${CLASS}
\$menuentry_id_option 'gnulinux-$version-$type-$boot_device_id' {" |
sed "s/^/$submenu_indentation/"
else
- echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS}
\$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed
"s/^/$submenu_indentation/"
+ echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS}
--unrestricted \$menuentry_id_option 'gnulinux-simple-$boot_device_id'
{" | sed "s/^/$submenu_indentation/"
fi
if [ "$quick_boot" = 1 ]; then
echo " recordfail" | sed "s/^/$submenu_indentation/"
root at mich:/etc/grub.d#
It would be nice if there was a way to do that by defining a variable
in a config file that isn't updated often.
--
Kim Rydhof Thor Hansen
Vadgårdsvej 3, 2. tv.
2860 Søborg
Phone: +45 3091 2437
More information about the Pkg-grub-devel
mailing list