2020-11-13 00:50:49 +01:00
|
|
|
# Load ISO configuration files
|
2020-11-13 03:22:54 +01:00
|
|
|
#
|
|
|
|
insmod regexp
|
2020-11-13 00:50:49 +01:00
|
|
|
|
|
|
|
set isopath="/boot/isos"
|
|
|
|
export isopath
|
|
|
|
|
|
|
|
set isoconfdir="${isoconfig}.d"
|
|
|
|
export isoconfdir
|
|
|
|
|
|
|
|
if [ -d "${isoconfdir}" ]; then
|
|
|
|
echo "${isoconfdir} is a directory"
|
2020-11-13 03:22:54 +01:00
|
|
|
for conf in ${isoconfdir}/*.cfg; do
|
|
|
|
if [ ! -f "$conf" ]; then
|
|
|
|
echo "No valid configuration to read"
|
|
|
|
break;
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Sourcing $conf "
|
|
|
|
source "${conf}"
|
2020-11-13 00:50:49 +01:00
|
|
|
done
|
2020-11-13 03:22:54 +01:00
|
|
|
|
|
|
|
menuentry ' ' { true }
|
|
|
|
|
|
|
|
menuentry "[Esc] Back to Menu" {
|
|
|
|
configfile "${prefix}/grub.cfg"
|
|
|
|
}
|
2020-11-13 00:50:49 +01:00
|
|
|
else
|
|
|
|
echo "Cannot read ${isoconfdir}"
|
|
|
|
fi
|
2020-11-13 03:22:54 +01:00
|
|
|
|