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
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)

[original thread by agabet]

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

Maybe https://www.jhipster.tech/configuring-a-corporate-proxy/ can be helpful.

[agabet]

I followed this guide and, unfortunatly, it did not change anything. How can I force it to use the proxy settings?

oh: https://github.com/microsoft/vscode-ripgrep/issues/5

[agabet]

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

[trueman1990]

Anyone has a walk-around method?