After reading quick_boot.patch, I think the environment variable
$quick_boot (set by default) was added in order to give the user an
option to force timeout to be 0.  However, the test seems reversed to
me:

  if [ "$quick_boot" = 1 ] && [ "x${found_other_os}" != "x" ]; then
    cat << EOF
set timeout_style=menu
if [ "\${timeout}" = 0 ]; then
  set timeout=10
fi
EOF
  fi

meaning timeout is increased to 10 when $quick_boot is set, which is not
what I'll call "quick_boot".  I suggest changing it to "$quick_boot" =
0.

And there should be a way to modify this variable somewhere else, since
any change to the file itself will get overridden in an upgrade.

** Patch added: "quick_boot_fix.patch"
   
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1273764/+attachment/5105706/+files/quick_boot_fix.patch

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

Title:
  Grub ignores TIMEOUT options on /etc/default/grub

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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to