In Ubuntu, /etc/grub.d/30_os-prober overrides grub menu style and timeout defined by the user in /etc/default/grub. Here is a workaround to save the menu style and timeout values before os-prober changes them, and to restore them afterwards. The two files need to be placed under /etc/grub.d and made executable. Finally, "sudo update-grub" should…
#! /bin/sh | |
set -e | |
# Save the $timeout and $timeout_style values set by /etc/grub.d/00_header | |
# before /etc/grub.d/30_os-prober messes them up. | |
cat << EOF | |
set timeout_bak=\${timeout} | |
set timeout_style_bak=\${timeout_style} | |
EOF |
#! /bin/sh | |
set -e | |
# Reset $timeout and $timeout_style to their original values | |
# set by /etc/grub.d/00_header before /etc/grub.d/30_os-prober messed them up. | |
cat << EOF | |
set timeout=\${timeout_bak} | |
set timeout_style=\${timeout_style_bak} | |
EOF |
This comment has been minimized.
This comment has been minimized.
Thanks for this. What a PITA... For more context, I found this Gist via this StackOverflow answer. |
This comment has been minimized.
This comment has been minimized.
@pepa65 it's a known bug https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1273764 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This comment has been minimized.
Have you tried reporting this undesirable behaviour of os-prober??