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

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

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" =

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"

You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

  Grub ignores TIMEOUT options on /etc/default/grub

To manage notifications about this bug go to:

ubuntu-bugs mailing list

Reply via email to