fix no_proxy bug in tools/vagrant/Vagrantfile
Closes-Bug:#1598317 Change-Id: I926d770a541ff6a5eefae905f5b4fe0dd09e4efc
This commit is contained in:
parent
9c95206bac
commit
1afd0823ea
|
@ -47,7 +47,7 @@ Vagrant.configure(2) do |config|
|
|||
config.proxy.https = ENV['https_proxy']
|
||||
end
|
||||
if ENV['no_proxy'] && !ENV['no_proxy'].empty?
|
||||
config.proxy.no_proxy = ENV['no_proxy'] + "192.168.15.6,10.0.2.15"
|
||||
config.proxy.no_proxy = ENV['no_proxy'] + ",192.168.15.6,10.0.2.15"
|
||||
end
|
||||
end
|
||||
# Provider-specific configuration so you can fine-tune various
|
||||
|
|
Loading…
Reference in New Issue