Skip to content

Instantly share code, notes, and snippets.

@dotnetdude

dotnetdude/vagrantproxy

Created September 15, 2015 09:36
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save dotnetdude/75a57e7e1d51fe32a57e to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save dotnetdude/75a57e7e1d51fe32a57e to your computer and use it in GitHub Desktop.
Download ZIP
set http proxy for vagrant
Raw
vagrantproxy
On Windows
Current Open Command Prompt
set http_proxy=http://yourproxyserver:port
set https_proxy=https://yourproxyserver:port
Permantly Set
setx http_proxy=http://yourproxyserver:port
setx https_proxy=https://yourproxyserver:port
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment