In a corporate environment it may be necessary to set multiple proxies each for a different service. In this particular case the best solution that I have been able to find is to use an environment file loaded up with the [dotenv plugin]. This file can be setup to use the environment variable values from the runtime shell, e.g. the bash shell that you're executing the
vagrant commands from.
$ vagrant plugin install dotenv $ vagrant plugin install vagrant-proxyconf