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][1]. 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