#!/bin/sh

. ./settings.sh

echo "Generating PXE Menu..."
cat ./resources/default-full | \
  sed -e "s/__NFSSERVERIP__/${NFSSERVERIP}/g" \
      -e "s/__MENUTITLE__/${MENUTUTLE}/g" \
      -e "s/__MENUBACKGROUND__/${MENUBACKGROUND}/g" > ${TFTP}/pxelinux.cfg/default

./configure-debian-system.sh