Same problem in Ubuntu 11.10. The diff below lets me both do os-probe and hide the menu:
--- 30_os-prober.orig 2012-03-09 15:50:25.284234362 -1000 +++ 30_os-prober 2012-03-09 15:51:07.924232579 -1000 @@ -26,7 +26,6 @@ found_other_os=
make_timeout () { - if [ "x${found_other_os}" = "x" ] ; then if [ "x${1}" != "x" ] ; then if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then verbose= @@ -60,7 +59,6 @@ EOF fi fi - fi }
Same problem in Ubuntu 11.10. The diff below lets me both do os-probe and hide the menu:
--- 30_os-prober.orig 2012-03-09 15:50:25.284234362 -1000
+++ 30_os-prober 2012-03-09 15:51:07.924232579 -1000
@@ -26,7 +26,6 @@
found_other_os=
make_timeout () { other_os} " = "x" ] ; then HIDDEN_ TIMEOUT_ QUIET}" = "xtrue" ] ; then
- if [ "x${found_
if [ "x${1}" != "x" ] ; then
if [ "x${GRUB_
verbose=
@@ -60,7 +59,6 @@
EOF
fi
fi
- fi
}