menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team

Error building theia-full behind an enterprise proxy

November 13, 2019 at 3:27pm

Error building theia-full behind an enterprise proxy

November 13, 2019 at 3:27pm (Edited 3 years ago)
I am trying to build theia-full behind an enterprise proxy. Despite setting up the proxy ( ENV VAR / yarn set config .../ npm config set ... / and adding the proxy in the package.json), the installation fail with a DNS request :
error /home/theia/node_modules/vscode-ripgrep: Command failed.
Exit code: 1
Command: node ./lib/postinstall.js
Arguments:
Directory: /home/theia/node_modules/vscode-ripgrep
Output:
Finding release for v11.0.1-2
GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v11.0.1-2
events.js:174
throw er; // Unhandled 'error' event
^
Error: getaddrinfo EAI_AGAIN api.github.com api.github.com:443
at GetAddrInfoReqWrap.onlookup [as oncomplete] (dns.js:56:26)
Emitted 'error' event at:
at TLSSocket.socketErrorListener (_http_client.js:392:9)
at TLSSocket.emit (events.js:189:13)

November 14, 2019 at 8:55am
It cannot download rigrep from GitHub. Are you sure that you configured proxy settings for Node.js properly?
I followed this guide and, unfortunatly, it did not change anything. How can I force it to use the proxy settings?
OH :), thank you, did not find it...
probably making a PR for them, it is the best option, after that we can upgrade Theia to newer version of vscode-rigrep

April 3, 2020 at 2:53am
Anyone has a walk-around method?