Proxy or Mirror Support for download #309
Conversation
lukel97
added
type: enhancement
|
c53475b, let user can set a mirror path in setting |
soiamsoNG
changed the title
|
40d866f |
|
@soiamsoNG only to be sure: the actual download mechanism does not honour the standard system proxy settings ( |
Thanks for your remind. |
|
sorry for mistake press the button |
So, could you use those env variables to tell the extension the proxy to be used? If that is the case, maybe we should add to documentation, instead add extra code. |
| "scope": "resource", | ||
| "type": "string", | ||
| "default": "", | ||
| "description": "http:// https:// socks:// socks5:// pac+http://" |
There was a problem hiding this comment.
If we are using the vscode http proxy setting, do we need to have our own proxy configuration in this extension too? I think we can just remove this one then
There was a problem hiding this comment.
Yes I agree, a little bit too much, please don't pick the proxy part
There was a problem hiding this comment.
I create #313 for just Mirror Support part
update languageServerReleasesPath discription Co-authored-by: Luke Lau <luke_lau@icloud.com>
|
Sorry for the late reply on this: Is this still needed? Or does the built-in vscode proxy work ok? |
|
No need now |
3 participants
Want to add proxy support considering below point
Amazon AWS with very slow connection around 30K/s in some area.
VSCode not support socks5 proxy in a clean way.
Node not support socks5 proxy in a clean way.
Hope can solve the AWS very slow issue in another way but not set a proxy.