@psusi, Please look in /etc/grub.d/30_os-prober. In particular, the last line reads:
> adjust_timeout And the definition of `adjust_timeout` is: > adjust_timeout () { > 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 > } As you can see the `timeout` variable is set/reset to 10 (seconds). -- 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 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