#!/bin/sh
set -e

# older versions of grub2 do not have this yet (LP: #459080)
if [ ! -e /usr/lib/grub/grub-mkconfig_lib ]; then
    echo "no grub-mkconfig_lib, exiting"
    exit 0
fi

. /usr/lib/grub/grub-mkconfig_lib

# We can't cope with loop-mounted devices here.
case ${GRUB_DEVICE_BOOT} in
  /dev/loop/*|/dev/loop[0-9])
    exit 0
  ;;
esac


if test -e /boot/gpxe.lkrn ; then
	GPXEPATH=$( make_system_path_relative_to_its_root "/boot/gpxe.lkrn" )
	echo "Found gpxe image: $GPXEPATH" >&2

	cat << EOF
menuentry "Arranque por red" {
	linux16	$GPXEPATH
}
EOF
fi