Fallback to /usr/share/grub/grub-mkconfig_lib if default isn't present

It was reported on IRC that Fedora uses
/usr/share/grub/grub-mkconfig_lib instead.

diff --git a/42_grml b/42_grml
index 30f1c07..8cfdb3f 100755 (executable)
--- a/42_grml
+++ b/42_grml
@@ -11,7 +11,14 @@ prefix=/usr
 exec_prefix=${prefix}
 bindir=${exec_prefix}/bin
 libdir=${exec_prefix}/lib
-. ${libdir}/grub/grub-mkconfig_lib
+
+if [ -r ${libdir}/grub/grub-mkconfig_lib ] ; then
+  . ${libdir}/grub/grub-mkconfig_lib
+elif [ -r /usr/share/grub/grub-mkconfig_lib ] ; then # fallback for e.g. Fedora
+  . /usr/share/grub/grub-mkconfig_lib
+else
+  echo "Could not locate file grub-mkconfig_lib, please report a bug." >&2
+fi
 
 # default unless configured otherwise:
 ISO_LOCATION="/boot/grml"