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/run.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/run.sh')
| -rwxr-xr-x | extras/vagrant/run.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh index 3c779fa23f6..61c9261fe2f 100755 --- a/extras/vagrant/run.sh +++ b/extras/vagrant/run.sh @@ -12,11 +12,12 @@ fi if [ "$OS_ID" == "centos" ] || [ "$OS_ID" == "opensuse" ]; then # Install uio-pci-generic - modprobe uio_pci_generic + sudo -E modprobe uio_pci_generic fi + echo "Starting VPP..." -if [ "$OS_ID" == "ubuntu" ] && [ $OS_CODENAME = "trusty" ] ; then - start vpp +if [ "$OS_ID" == "ubuntu" ] && [ "$OS_CODENAME" == "trusty" ] ; then + sudo -E start vpp else - service vpp start + sudo -E service vpp start fi |