Another very useful plugin for those stuck behind corporate firewalls/proxies (We have to use this at my work where we are using Vagrant now) – vagrant_proxyconf