1 files changed, 25 insertions, 0 deletions
diff --git a/grub b/grub
new file mode 100644
index 000000000000..b6991d0cce89
--- /dev/null
+++ b/grub
@@ -0,0 +1,25 @@
+#! /bin/sh -e
+########################################################
+# This script generates an Invaders entry on grub.cfg  #
+# if grubinvaders is installed on the system.          #
+########################################################
+
+prefix="/usr"
+exec_prefix="${prefix}"
+
+datarootdir="/usr/share"
+datadir="${datarootdir}"
+
+. "${datadir}/grub/grub-mkconfig_lib"
+
+INVADERS_IMAGE="/boot/grubinvaders/invaders.bin"
+CLASS="--class game"
+
+if [ -e ${INVADERS_IMAGE} ] && is_path_readable_by_grub ${INVADERS_IMAGE}; then
+	# image exists, create menu entry
+	echo "Found Invaders image: ${INVADERS_IMAGE}" >&2
+	echo "menuentry "Grub Invaders" ${CLASS} {"
+	prepare_grub_to_access_device $(${grub_probe} --target=device ${INVADERS_IMAGE}) | sed -e "s/^/\t/"
+	echo -e "\tmultiboot $(make_system_path_relative_to_its_root ${INVADERS_IMAGE})"
+	echo "}"
+fi