- # I don't think these variants actually make a diff for us, but I
- # use the appropriate one when trying a new distro just in case.
- variant=ubuntu14.04
- #variant=ubuntu16.04
- #variant=debian8
+ else
+ killall fai-monitor &>/dev/null ||:
+ fai-monitor &
+ if [[ ! $BASEFILE_DIR ]]; then
+ BASEFILE_DIR=/tmp
+ fi
+ isopath=$BASEFILE_DIR/$iso
+ isosrc=$BASEFILE_DIR/BUSTER64.tar.gz
+ if [[ ! -e $isopath || $(stat -c %Y $isopath) -lt $(stat -c %Y $isosrc) ]]; then
+ e sudo fai-cd -g $(readlink -f grub.cfg.${iso%%.*}) -f -A $isopath
+ fi
+ boot_arg="--cdrom $isopath"
+ e fai-redep
+ e myfai-chboot default
+ fi
+ # I don't think these variants actually make a diff for us, but I
+ # use the appropriate one when trying a new distro just in case.
+ variant=ubuntu14.04
+ #variant=ubuntu16.04
+ #variant=debian8