Build Theia Git-Hub Token Fail

I am new to Theia. I try to build and run the Theia source code on Windows. I am following the Getting Started instructions. After downloading the project from Github, I run the yarn command. I get the following Error:

Exit code: 1
Command: node ./lib/postinstall.js
Directory: C:\sourcecode\theia\theia\node_modules\vscode-ripgrep
Finding release for v11.0.1-2
throw er; // Unhandled ‘error’ event

Error: getaddrinfo ENOTFOUND
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:198:13)

It should be some issue with the developer token on Github. Do you have any advice?

[original thread by jonasrexroth]


I also created a git token, but i am not sure how to add it to my project

@jonasrexroth it looks like you encountered a problem others have experienced in the past You can take a look at the GitHub docs on how to add a token to your profile.

@jonasrexroth did you see a mention of “GitHub API rate limit” being reached or such? To me the above looks like the GH API URL can’t be reached (address not found). Maybe it’s blocked by your corporate proxy?

Or if this is happening in Docker, DNS may not be setup correctly


I passed by the error by downloading the vscode-ripgrep-1.5.6.tgz and using it locally. It’s not the perfect solution but for now it’s ok. Thank you