# DO NOT EDIT THIS FILE
#
# This is a Vagrant launcher file. To set up the configuration, use command line arguments to compile.sh
# or create a config file named "config-vagrant-guest.conf" based on config-example.conf

# remove "vagrant" from the command line since "vagrant-guest" will be passed instead
shift

# check and install vagrant-disksize
if ! grep -q '^vagrant-disksize' <(vagrant plugin list); then
	display_alert "Trying to install vargant-disksize plugin"
	vagrant plugin install vagrant-disksize
fi

display_alert "Building and running the Vagrant box"
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-guest $*"

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

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