summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ec48b61)
It was reported on IRC that Fedora uses
/usr/share/grub/grub-mkconfig_lib instead.
exec_prefix=${prefix}
bindir=${exec_prefix}/bin
libdir=${exec_prefix}/lib
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"
# default unless configured otherwise:
ISO_LOCATION="/boot/grml"