Plugins and Theia

Don’t seem to be able to build Theia on CentOS 7 for the purpose of running VS plugins, can you use plugins with the Docker container?

[original thread by realies]

[realies]

Tried setting THEIA_DEFAULT_PLUGINS to a container with eslint vsix in the plugins folder, does not seem to work.

What value did you set for THEIA_DEFAULT_PLUGINS?

for local directory it should be `local-dir:absolute-path-to-a-folder-with-plugins

Hi @realies . We have a few examples in the “theia-apps” repo, using plugins in docker containers, but not based on CentOS 7 (which is a bit old). e.g.: https://github.com/theia-ide/theia-apps/blob/master/theia-go-docker/latest.package.json#L39