@ Theia / ext scripts

How should I download @ Theia / ext scripts

[original thread by yangyangyihao]

It is private package for building core theia extensions and cannot be downloaded.

As mentioned, the scripts are not published to npm and cannot be consumed by downstream projects as it is a private tool for development of the main repository. Please also see the following issue for discussion (it relies on the main repository’s project structure and is not useful for downstream apps).