diff options
| author | varac <varacanero@zeromail.org> | 2017-05-23 13:23:43 +0200 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2017-05-23 13:23:43 +0200 |
| commit | d2dc27738a26b824f42da3fdea527be072867678 (patch) | |
| tree | 4b711bc9924ff555535112d1711cbdd7d6a55fa3 /tests/example-provider/vagrant/vagrant.config | |
| parent | 10164a2651cb9ca07442e8382b7e238c8a8939c1 (diff) | |
[vagrant] Move $OPTS to vagrant config
Diffstat (limited to 'tests/example-provider/vagrant/vagrant.config')
| -rw-r--r-- | tests/example-provider/vagrant/vagrant.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/example-provider/vagrant/vagrant.config b/tests/example-provider/vagrant/vagrant.config index ff5dd38f..07222c3f 100644 --- a/tests/example-provider/vagrant/vagrant.config +++ b/tests/example-provider/vagrant/vagrant.config @@ -18,4 +18,4 @@ NODE='node1' SUDO="sudo -u ${USER}" PROVIDERDIR="/home/${USER}/leap/configuration" PLATFORMDIR="/srv/leap_platform" -LEAP="$SUDO /usr/local/bin/leap" +LEAP="$SUDO /usr/local/bin/leap $OPTS" |