Single / global configuration key for setting proxy

[tknerr]

While vagrant-proxyconf can set the proxy for multiple programs separately (e.g. config.apt_http_proxy vs. config.env_http_proxy) the typical use case is to set the same proxy for all these programs.

Idea:

• config.apt_proxy.http sets the proxy only for apt
• config.env_proxy.http sets only the *_proxy env vars
• config.proxy.http (or maybe config.global_proxy.http?) sets the proxy for all programs

[tmatilai]

Sounds reasonable.

vagrant-proxy plugin has reserved the config.proxy namespace but seems like the project is not active so maybe we can steal it? /cc @clintoncwolfe?

[clintoncwolfe]

You're welcome to it!

[tmatilai]

I'll close this in favor of PR #17.