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
Arguments:
Directory: C:\sourcecode\theia\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 ENOTFOUND 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:198:13)
It should be some issue with the developer token on Github. Do you have any advice?
[original thread by jonasrexroth]