Skip to content

Instantly share code, notes, and snippets.

@leahcim

leahcim/25_pre-os-prober

Created March 3, 2014 19:13
Show Gist options
  • Star 20 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save leahcim/9332432 to your computer and use it in GitHub Desktop.
Save leahcim/9332432 to your computer and use it in GitHub Desktop.
Download ZIP
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…
Raw
25_pre-os-prober
#! /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
Raw
35_post-os-prober
#! /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
@pepa65
Copy link

pepa65 commented Dec 2, 2016

Have you tried reporting this undesirable behaviour of os-prober??

@e0da
Copy link

e0da commented Feb 5, 2017

Thanks for this. What a PITA... For more context, I found this Gist via this StackOverflow answer.

@peey
Copy link

peey commented Apr 7, 2018

@pepa65 it's a known bug https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1273764

@abhitrueprogrammer
Copy link

Why isn't it fixed yet though? Its been 8 years!

@pulkitkrishna00
Copy link

10 years now...

@pepa65
Copy link

pepa65 commented Sep 15, 2023

I have moved on from Grub...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment