Unable to do vagrant up behind proxy

Question

I am unable to do a vagrant up (or vagrant add) behind our corporate proxy on a Windows 7 machine. I have tried with and without http_proxy/https_proxy environment variables. I tried using the vagrant plugin vagrant-proxyconf with the various http proxy settings but it did not help, the issue isn't with the guest's proxy it is with the host's. Is there some way to get vagrant itself to use a proxy?

Output from vagrant up:

C:\scratch\vagrant>vagrant up
Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'hashicorp/pricise32' could not be found. Attempting to find and install...
default: Box Provider: virtualbox
default: Box Version: >= 0
The box 'hashicorp/pricise32' could not be found or
could not be accessed in the remote catalog. If this is a private
box on Vagrant Cloud, please verify you're logged in via
`vagrant login`. Also, please double-check the name. The expanded
URL and error message are shown below:

URL: ["https://vagrantcloud.com/hashicorp/pricise32"]
Error: The requested URL returned error: 404 Not Found

Plugins:

C:\scratch>vagrant plugin list
vagrant-login (1.0.1, system)
vagrant-proxyconf (1.2.0)
vagrant-share (1.0.1, system)

Vagrant version:

C:\scratch\vagrant>vagrant -v
Vagrant 1.5.4

Answer 1

As @Emyl pointed out, you have a typo in the box name (should be "hashicorp/precise32").

As an answer to the question, Vagrant supports the standard HTTP_PROXY and HTTPS_PROXY environment variables on the host. On Windows you can set them on the command line with:

set HTTP_PROXY="http://proxy:1234"
set HTTPS_PROXY="http://proxy:1234"

It's also planned that in the future vagrant-proxyconf could also set them automatically in some cases.

Answer 2

Worked for me but without the double quotes.

set HTTP_PROXY=http://proxy:1234
set HTTPS_PROXY=http://proxy:1234

instead of :

set HTTP_PROXY="http://proxy:1234"
set HTTPS_PROXY="http://proxy:1234"