Skip to content

Instantly share code, notes, and snippets.

@wuxiangzhou2010

wuxiangzhou2010/settings.json

Forked from JohannesHoppe/settings.json
Created February 8, 2018 08:34
Show Gist options
  • Save wuxiangzhou2010/0a7fd4ee1a496e6493c2d6043b2874e8 to your computer and use it in GitHub Desktop.
Save wuxiangzhou2010/0a7fd4ee1a496e6493c2d6043b2874e8 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:[email protected]:8080",
"https.proxy": "http://user:[email protected]:8080",
"http.proxyStrictSSL": false
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment