Skip to content

Instantly share code, notes, and snippets.

@JohannesHoppe

JohannesHoppe/settings.json

Created May 18, 2016 12:04
Show Gist options
  • Star 10 You must be signed in to star a gist
  • Fork 4 You must be signed in to fork a gist
  • Save JohannesHoppe/23105342f6580847578701f0ced9d5b0 to your computer and use it in GitHub Desktop.
Save JohannesHoppe/23105342f6580847578701f0ced9d5b0 to your computer and use it in GitHub Desktop.
Download ZIP
VSCode: proxy settings
Raw
settings.json
// VSCode: Place your settings in this file to overwrite the default settings
{
"http.proxy": "http://user:pass@proxy.com:8080",
"https.proxy": "http://user:pass@proxy.com:8080",
"http.proxyStrictSSL": false
}
@rajeshtv-rajesh
Copy link

https.proxy when provided in proxy settings says "Unknown Configuration setting" in VSCode

@fResult
Copy link

fResult commented Oct 8, 2018

my password has @ how can I set this?

"https.proxy": "https://Sil@s6:P@ssword@proxy.com:8080"

@ferdinandosimonetti
Copy link

%40 instead of @ should do the trick, see here https://stackoverflow.com/questions/783811/getting-git-to-work-with-a-proxy-server#comment49338887_19213999

@Michael-D-Pine
Copy link

https.proxy when provided in proxy settings says "Unknown Configuration setting" in VSCode

Mine does as well

@alex-jin
Copy link

http.proxy only is fine

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment