grub


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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