HTTP proxy environment variables support

[fancl20]

vscode use http_proxy and https_proxy environment variables if the proxy setting not set. It seems not to work when using code-server.

[kylecarbs]

We'd need to add proper VS Code networking setup to code-server. Not sure about this.

Ref: https://code.visualstudio.com/docs/setup/network

[avindra]

I'm also looking for proxy support (in order to install extensions).

As a workaround, I tried importing the vsix file directly, but this error shows up when I do that:

[coadler]

@avindra see #92

[RichardMcSorley]

Also looking forward to this support. Not able to run it on some networks due to this, makes code-server cumbersome to use.

[fcomte]

Does anybody success to install extension behind a proxy ?
Iam using : version 1.604-vsc1.32.0

[jrderuiter]

Not yet, running into the same issue unfortunately.

[kylecarbs]

I'd be happy to implement this, but would concretely like to understand the importance. Does this just proxy all requests VS Code would normally make?

[t-d-d]

The only issue I have seen so far is that the installation of extensions doesn't respect the proxy setting, from the UI or via the --install-extension command line flag. Would graetly appreciate a fix for that.

[jrderuiter]

For me the main issue was also with installing extensions (I get a timeout because code-server doesn't go through the proxy). I also have some issues with icons (file icons, for example) in the browser, but that's probably not related.

[fancl20]

The problem is that there exist many extensions to download binaries they need not during installing but during the first start up (like official C/C++ extension or Golang extensions). I'm not sure whether they regard the system proxy preference or using vscode setting.

[t-d-d]

@fancl20 are you aware of the vscode setting for this:

  // Use the proxy support for extensions.
  //  - off: Disable proxy support for extensions.
  //  - on: Enable proxy support for extensions.
  //  - override: Enable proxy support for extensions, override request options.
  "http.proxySupport": "override",

Maybe this #545 will help resolve this. Waiting on a new release to test it.

@jrderuiter regarding the icons, I just raised #627 . Agree, I don't think it is related.

[t-d-d]

@fancl20 I can confirm that the rest-client extension works fine behind a proxy with http_proxy set and the above vscode setting.