Hello, I just started looking into Theia

I was wondering if there’s some sort of catalogue of extensions/plugins with some documentation, or if the source code is my best bet to get acquainted to them :slight_smile:

[original thread by Raphael Dos Santos]

Hi @santosr . Not that I know. A good starting point is the example application that’s part of our main repository: https://github.com/theia-ide/theia/blob/master/examples/browser/package.json . It contains all Theia extensions from that repo.

There are a few other extensions, each in their own repo, under our GH org: https://github.com/theia-ide .

The theia-apps repo contains some applications that use some of those extensions: https://github.com/theia-ide/theia-apps/

The “full” image probably has the most in one place: https://github.com/theia-ide/theia-apps/blob/master/theia-full-docker/latest.package.json

docker images published here, if you’d like to try quickly without building yourself: https://hub.docker.com/u/theiaide

[Raphael Dos Santos]

Thanks for the detailed answer!

You can query npm for packages defining theia-extension as a keyword, e.g. https://npmsearch.com/?q=keywords:theia-extension