Theia Electron Application - Proxy settings

[davide-sergi]

I noticed that in vscode there are a number of predefined proxy settings to act on (please refer to this file ), so is it possible to have something like that for theia?

One question: how do you handle this scenario with theia currently?

Feature Description:

In my mind, Theia should be able to get proxy configurations from its settings.json file or at least directly from OS proxy configuration (as happen for Postman electron app - please refer to this link ).
After that all HTTP/S requests generated by extensions and plugins should be proxied.

[r10r]

@davide-sergi Hi, did you manage to configure the http proxy ?

I'm trying to install an extension within theia which is running in kubernetes behind a proxy and I'm getting the following error:

ERROR Failed to resolve plugins from 'vscode:extension/golang.go' Error: connect ECONNREFUSED 198.41.30.195:443

The http proxy environment variables are properly set.

[luettmaSICKAG]

We need Proxy-Support as well. The setting to use the system certificate is also important.

I think it would make sense to:

• also support a NO_PROXY setting (or use the environment variable)
  → No proxy required for requests to localhost or services in the company network
• Apply the same proxy settings to the Theia Extension and Theia plugins/VSCode extensions

Microsoft has a library to handle the proxy settings and patch the http client: https://github.com/Microsoft/vscode-proxy-agent
I couldn't get it running in a Theia extension, though. There were some NAPI issues (possibly due to an incompatible node version).