Skip to content

Commit

Permalink
Fix bug in vagrant options handling (#3975)
Browse files Browse the repository at this point in the history
  • Loading branch information
dangoncalves committed Jul 13, 2022
1 parent bb43940 commit aa38ab5
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions config/templates/config-vagrant.conf
Original file line number Diff line number Diff line change
Expand Up @@ -2,12 +2,13 @@
#
# 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
# While we are in config-vagrant.conf, we no longer need "vagrant" option
# So if "vagrant" wasn't removed from the command line by caller, we do it now
[[ "$1" == "vagrant" ]] && shift

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

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

0 comments on commit aa38ab5

Please sign in to comment.