diff options
| author | varac <varacanero@zeromail.org> | 2016-03-07 12:23:05 +0100 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2016-03-07 12:26:31 +0100 |
| commit | e6e0b2b9c5cad7f7a66b0aedaf3ab67438eedf2d (patch) | |
| tree | 5620cea2751d764af51534e9143f197a136ff2f4 /vagrant/vagrant.config | |
| parent | 0ec326f27feecda1357ca7ba8b1c09ef2567a481 (diff) | |
[vagrant] Vagrant now can deploy a pixelated box
By default, a leap_platform-only box will get started.
To start the pixelated box, use `vagrant up pixelated`.
Diffstat (limited to 'vagrant/vagrant.config')
| -rw-r--r-- | vagrant/vagrant.config | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/vagrant/vagrant.config b/vagrant/vagrant.config index 4d568c03..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" @@ -11,4 +11,12 @@ contacts="no-reply@$provider_domain" # 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" |