23 lines
664 B
Plaintext
23 lines
664 B
Plaintext
# 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
|