[Bug 428443] Re: There should be a way to hide the menu in os-prober

[gouri]

Hello,

1) Use case

The "feature" of disabling the menu hide feature when there are several
OSes seems nonsense to me.

Use case : administrator Joe in company FooSoft creates hard disk master
image for the company's computers, with several partitions (for main OS,
alternate OS, dedicated diagnostic/recovery tools, dedicated partition
for machine re-image from hard disk), all selectable through the main
grub menu. To avoid confusing users, he wants to hide the menu (like
with older grub versions).

2) Current stats

The patch from comment #7 does not apply in 12.04. Patch from comment
#10 looks like it can be applied as-is on 12.04.

Is the (in-text) patch from comment #10 considered clean ? Can it break
some features in some cases ?

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to grub2 in Ubuntu.
https://bugs.launchpad.net/bugs/428443

Title:
  There should be a way to hide the menu in os-prober

Status in “grub2” package in Ubuntu:
  Confirmed

Bug description:
  Binary package hint: grub2

  In some cases, it might be desirable to hide the boot menu even if
  other OS are discovered. For instance in Wubi case, the grub menu is
  shown after the windows one, so it becomes confusing.

  GRUB_HIDDEN_TIMEOUT could be used to specify that the menu has to be
  hidden or possibly some other variable could be used to that effect.

  --- 30_os-prober.orig	2009-09-12 11:12:24.000000000 +0100
  +++ 30_os-prober	2009-09-12 11:32:57.000000000 +0100
  @@ -25,8 +25,7 @@
   found_other_os=
   
   adjust_timeout () {
  -  if [ "x${found_other_os}" = "x" ] ; then
  -    if [ "x${GRUB_HIDDEN_TIMEOUT}" != "x" ] ; then
  +  if [ "x${found_other_os}" = "x" ] || [ "x${GRUB_HIDDEN_TIMEOUT}" != "x" ] ; then
         if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then
   	verbose=
         else
  @@ -54,7 +53,6 @@
   fi
   EOF
         fi
  -    fi
     fi
   }

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/428443/+subscriptions