Error building theia-full behind an enterprise proxy

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
Directory: /home/theia/node_modules/vscode-ripgrep
Finding release for v11.0.1-2
      throw er; // Unhandled 'error' event

Error: getaddrinfo EAI_AGAIN
    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)

[original thread by agabet]

It cannot download rigrep from GitHub. Are you sure that you configured proxy settings for Node.js properly?

Maybe can be helpful.


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


Anyone has a walk-around method?