Configuration option to disable os-prober?

[Colin Watson <cjwatson@ubuntu.com>]

[-- Attachment #1: Type: text/plain, Size: 569 bytes --]

Hi,

Some people seem to want to disable os-prober for various reasons (e.g.
they have lots of test installations lying around that they don't
normally want to get in the way, or they don't want installations on
external drives to be included permanently in the boot menu, etc.). Now,
they can just remove the os-prober package, but that doesn't really
scale as other packages are allowed to depend on it too.

Perhaps we could have a configuration option for this? Patch attached.

Thanks,

-- 
Colin Watson                                       [cjwatson@ubuntu.com]

[-- Attachment #2: grub.os-prober.diff --]
[-- Type: text/x-diff, Size: 482 bytes --]

Index: util/grub.d/30_os-prober.in
===================================================================
--- util/grub.d/30_os-prober.in	(revision 2402)
+++ util/grub.d/30_os-prober.in	(working copy)
@@ -22,6 +22,10 @@
 
 . ${libdir}/grub/grub-mkconfig_lib
 
+if [ "x${GRUB_DISABLE_OS_PROBER}" = "xtrue" ]; then
+  exit 0
+fi
+
 if [ -z "`which os-prober 2> /dev/null`" -o -z "`which linux-boot-prober 2> /dev/null`" ] ; then
   # missing os-prober and/or linux-boot-prober
   exit 0