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 /docs/conf.py | |
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 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions