grubby/boot/isos.cfg

18 lines
316 B
INI
Raw Normal View History

2020-11-13 00:50:49 +01:00
# Load ISO configuration files
set isopath="/boot/isos"
export isopath
set isoconfdir="${isoconfig}.d"
export isoconfdir
if [ -d "${isoconfdir}" ]; then
echo "${isoconfdir} is a directory"
for conf in isoconfdir/*.cfg; do
echo "Sourcing $conf"
source "$conf"
done
else
echo "Cannot read ${isoconfdir}"
fi