Vagrant unable to download box

Whilst trying to download the ubuntu/trusty32 box for Vagrant I came across the following error:

URL: ["https://atlas.hashicorp.com/ubuntu/trusty32"]
Error: Failed to connect to atlas.hashicorp.com port 443: Timed out

This was due to my machine being behind a corporate proxy. To fix this error, setting the proxy details (both HTTP and HTTPS) allowed the box to be downloaded.

set http_proxy=http://[proxy]:8080
set https_proxy=http://[proxy]:8080

The vagrant-proxyconf may also need to be installed, but the command "vagrant plugin install vagrant-proxyconf" doesn't always work - due to the corporate proxy. To install it manually:

1. Download the gem here.
2. Place it in the folder where your vagrant file is located and change directory there using a command prompt
3. Run the command "vagrant plugin install vagrant-proxyconf-1.4.0.gem"