# 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

# TODO: copy the command line into a new config file on guest
display_alert "Building and running the Vagrant box"
vagrant up

# TODO: add docs about private key and conversions

display_alert "SSH config for the Vagrant box"

vagrant ssh-config

display-alert "Use 'vagrant halt' to stop the box"

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