CSIT-117: CSIT Vagrant+Virtualbox dev environment inoperative on Ubuntu

[csit.git] / resources / tools / vagrant / Vagrantfile

diff --git a/resources/tools/vagrant/Vagrantfile b/resources/tools/vagrant/Vagrantfile
index 3e18192..0355ad7 100644 (file)
--- a/resources/tools/vagrant/Vagrantfile
+++ b/resources/tools/vagrant/Vagrantfile
@@ -30,10 +30,17 @@ $install_prereqs = <<-SHELL
 SHELL
 
 $install_vpp = <<-SHELL
-    sudo apt-get -y purge vpp\*
     cd /vagrant
-    if [ -e /vagrant/vpp-*.deb ]; then
-        sudo dpkg -i vpp-*.deb
+    vpp_pkgs="$(echo vpp*.deb)"
+    if [ "$vpp_pkgs" != "vpp*.deb" ]; then
+      if [ "$(dpkg -l | grep vpp)" != "" ] ; then
+        sudo apt-get -y purge vpp\*
+      fi
+      sudo dpkg -i vpp*.deb
+      vppcfg="/etc/vpp/startup.conf"
+      sudo rm -f $vppcfg.orig
+      sudo cp $vppcfg $vppcfg.orig
+      echo -e '\nheapsize 512M' | sudo tee -a $vppcfg
     fi
 SHELL
 
@@ -61,6 +68,17 @@ def add_dut(config, name, mgmt_ip, net1, net2)
 end
 
 Vagrant.configure(2) do |config|
+  if Vagrant.has_plugin?("vagrant-proxyconf")
+    if ENV["http_proxy"]
+      config.proxy.http     = ENV["http_proxy"]
+    end
+    if ENV["https_proxy"]
+      config.proxy.https    = ENV["https_proxy"]
+    end
+    if ENV["no_proxy"]
+      config.proxy.no_proxy = ENV["no_proxy"]
+    end
+  end
   config.vm.define "tg" do |tg|
     tg.vm.box = "puppetlabs/ubuntu-14.04-64-nocm"
     tg.vm.hostname = "tg"