diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2015-12-14 16:08:45 -0700 |
|---|---|---|
| committer | Ed Warnicke <eaw@cisco.com> | 2015-12-14 16:08:45 -0700 |
| commit | b73f2675c79e2a5eed198579bb181bbb472d4817 (patch) | |
| tree | be15c98ef9508257a7a44483724a308d47fc15c7 /build-root/vagrant | |
| parent | f9bd620dc5299180cb639c4c6f91fadf6b860b08 (diff) | |
Fix to make it easy to use http proxy with Vagrant
Many thanks to Keith Burns for the suggestion.
Change-Id: Iae52c8afd43357e955825fbafbad057c0e6a97c7
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/vagrant')
| -rw-r--r-- | build-root/vagrant/Vagrantfile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build-root/vagrant/Vagrantfile b/build-root/vagrant/Vagrantfile index 9c61dd33..4e2669b5 100644 --- a/build-root/vagrant/Vagrantfile +++ b/build-root/vagrant/Vagrantfile @@ -22,6 +22,13 @@ Vagrant.configure(2) do |config| config.cache.scope = :box end + # use http proxy if avaiable + if ENV['http_proxy'] && Vagrant.has_plugin?("vagrant-proxyconf") + config.proxy.http = "$http_proxy" + config.proxy.https = "$https_proxy" + config.proxy.no_proxy = "localhost,127.0.0.1" + end + config.vm.synced_folder "../../", "/vpp", disabled: false config.vm.provider "virtualbox" do |vb| vb.memory = "4096" |