diff options
Diffstat (limited to 'vagrant/vagrant.config')
| -rw-r--r-- | vagrant/vagrant.config | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/vagrant/vagrant.config b/vagrant/vagrant.config index ae124246..e601488d 100644 --- a/vagrant/vagrant.config +++ b/vagrant/vagrant.config @@ -1,4 +1,4 @@ -# config values used by configure-leap.sh +# provider config values used by vagrant provision scripts provider_domain='example.org' provider_name='Leap Example Provider' contacts="no-reply@$provider_domain" @@ -7,6 +7,16 @@ contacts="no-reply@$provider_domain" # note that the "openvpn" service does currently *not* work # in a vagrant setup, # see https://leap.se/en/docs/platform/troubleshooting/known-issues#Special.Environments -services='webapp,mx,couchdb,soledad,monitor' +# to speed up things, don't deploy monitor service by default +# services='webapp,mx,couchdb,soledad,monitor' +services='webapp,mx,couchdb,soledad' +# default vars used by vagrant provision scripts +OPTS='' +USER='vagrant' +NODE='node1' +SUDO="sudo -u ${USER}" +PROVIDERDIR="/home/${USER}/leap/configuration" +LEAP="$SUDO /usr/local/bin/leap" +GIT="$SUDO git" |