JDM170/build
1
0
Fork 0
mirror of https://github.com/armbian/build synced 2025-09-24 19:47:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug in vagrant options handling (#3975)

Browse Source
This commit is contained in:
Daniel Gonçalves
2022-07-13 15:06:42 +02:00
committed by GitHub
parent bb43940f97
commit aa38ab5077
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
config/templates/config-vagrant.conf
View File

@@ -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