summaryrefslogtreecommitdiff
path: root/vagrant/vagrant.config
diff options
context:
space:
mode:
authorMicah Anderson <micah@riseup.net>2016-11-04 10:54:28 -0400
committerMicah Anderson <micah@riseup.net>2016-11-04 10:54:28 -0400
commit34a381efa8f6295080c843f86bfa07d4e41056af (patch)
tree9282cf5d4c876688602705a7fa0002bc4a810bde /vagrant/vagrant.config
parent0a72bc6fd292bf9367b314fcb0347c4d35042f16 (diff)
parent5821964ff7e16ca7aa9141bd09a77d355db492a9 (diff)
Merge branch 'develop'
Diffstat (limited to 'vagrant/vagrant.config')
-rw-r--r--vagrant/vagrant.config22
1 files changed, 0 insertions, 22 deletions
diff --git a/vagrant/vagrant.config b/vagrant/vagrant.config
deleted file mode 100644
index e601488d..00000000
--- a/vagrant/vagrant.config
+++ /dev/null
@@ -1,22 +0,0 @@
-# provider config values used by vagrant provision scripts
-provider_domain='example.org'
-provider_name='Leap Example Provider'
-contacts="no-reply@$provider_domain"
-
-# serivces that get configured
-# 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
-# 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"
-