25 lines
734 B
Plaintext
25 lines
734 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
|
|
|
|
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-guest $*"
|
|
|
|
display_alert "Press <Enter> to halt the Vagrant box"
|
|
read
|
|
vagrant halt
|
|
|
|
# don't need to proceed further on the host
|
|
exit 0
|