Removing/Hiding Theia components

#1

I would like to remove a number of Theia built-in components that are listed in theia’s package.json , including the file search and SCM for example. However I noticed that the majority of those packages are dependencies of “plugin-ext”, which I believe is required in order to get custom plugins running.

Is there a simple way to remove those and still get working plugins ? Or I would need to write an extension and override the “contributions” of those packages?

[original thread by Raphael Dos Santos]

#2

Is there a simple way to remove those and still get working plugins ? Or I would need to write an extension and override the “contributions” of those packages?

#3

It is a way of doing it. I don’t think we can provide a facility to exclude extensions, if we do it the plugin system won’t work because of missing file search and scm bindings.