#!/bin/sh -e
#
# Check the PXE setup.

if test -r /etc/debian-edu/config ; then
	. /etc/debian-edu/config
fi

# Systems with 'LTSP-Server' or 'Main-Server' profile have the iPXE boot setup.
if echo "$PROFILE" | grep -qE 'Main-Server|LTSP-Server' ; then
	:
else
	exit 0
fi

file=/srv/tftp/ltsp/ltsp.ipxe
if [ -f $file ] ; then
	echo "success: $0: iPXE menu file $file is present"
else
	echo "error: $0: Unable to find iPXE menu file $file"
fi

# Verify that the tftp server is handing out the installation menu.
file=/srv/tftp/debian-edu/install.cfg
if [ -f $file ] ; then
	echo "success: $0: iPXE menu component $file is present"
else
	echo "error: $0: Unable to find iPXE menu component $file"
fi