config-vagrant.conf

# DO NOT EDIT THIS FILE
#
# This is a Vagrant launcher file. To set up the configuration, use command line arguments to compile.sh

# remove "vagrant" from the command line
shift

# second argument can be a build parameter or a config file
unset VAGRANT_CONF
[[ $1 != *=* ]] && VAGRANT_CONF=$1

display_alert "Building and running the Vagrant box"
VAGRANT_INSTALL_LOCAL_PLUGINS=1 vagrant up || vagrant up

display_alert "SSH config for the Vagrant box"
vagrant ssh-config

display_alert "Trying to connect using SSH"

IFS=' ' vagrant ssh -c "cd armbian; sudo ./compile.sh $VAGRANT_CONF $*"

display_alert "Press <Enter> to halt the Vagrant box"
read
vagrant halt

# don't need to proceed further on the host
exit 0