Commit 9bf8509ab0c6ebb8574518010c91b7dcca39c866

Authored by Antonio Terceiro
1 parent 6d4f3639

fix provisioning wrt http proxy

sudo needs -i to properly read the environment, and that will change
directory to /home/vagrant
Showing 1 changed file with 2 additions and 3 deletions   Show diff stats
vagrant.sh
1 1 #!/bin/sh
2 2  
3 3 set -e
4   -cd /vagrant
5 4  
6 5 # colab
7   -sh ./colab/vagrant/bootstrap.sh
8   -sudo -u vagrant sh ./colab/vagrant/provision.sh
  6 +sh /vagrant/colab/vagrant/bootstrap.sh
  7 +sudo -u vagrant -i sh /vagrant/colab/vagrant/provision.sh
... ...