diff options
author | Kyle Mestery <mestery@mestery.com> | 2018-08-10 16:32:13 -0500 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2018-08-14 20:16:51 +0000 |
commit | acc1fbcb5e13961c1fcf1a00952b19b154b296b6 (patch) | |
tree | 3b67148a2b99a0a938dd766cfbf90b4009052851 /extras/vagrant/env.sh | |
parent | ce96dda4478d8a9ee3e3a6646c3367eb20263e3f (diff) |
Make vagrant work behind a proxy
Without this change, I cannot get the in-tree VPP Vagrant to work behind
a proxy. This commit fixes that by ensuring when we run sudo we're passing
environment variables, amongst some other cleanups.
Change-Id: Ica98a1238d40e6e6ccf80c472f52559c95af52f0
Signed-off-by: Kyle Mestery <mestery@mestery.com>
Diffstat (limited to 'extras/vagrant/env.sh')
-rw-r--r-- | extras/vagrant/env.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/vagrant/env.sh b/extras/vagrant/env.sh index bd329ea7ce9..441a4c1aaef 100644 --- a/extras/vagrant/env.sh +++ b/extras/vagrant/env.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash -export VPP_VAGRANT_DISTRO="ubuntu1604" +export VPP_VAGRANT_DISTRO="ubuntu1804" export VPP_VAGRANT_NICS=2 export VPP_VAGRANT_VMCPU=4 export VPP_VAGRANT_VMRAM=4096 +export VPP_VAGRANT_POST_BUILD=install |