Detect which plugins are manually installed by not listed in .gitpod.yml

[andreafalzetti]

Create a service to analyze which plugins were manually installed by the user and not listed in .gitpod.yml - this will be used in a follow-up issue to automatically install them.

There are different ways to detect installed plugins:

1. We can do it by checking the folders inside /workspace/.config/(JetBrains|JetBrains-latest)/RemoteDev-<ID_CODE>/_workspace_<REPOSITORY_NAME>/plugins, and compare this list of folders name against the plugins listed in .gitpod.yml.
2. Using SDK APIs to list installed plugins and MessageBus events to be notified when a new plugin is installed

The ideal solution (to be validated):

• Extend the YAML PSI model to create a "Gitpod YAML PSI model" able to comprehend the semantics of the .gitpod.yml and easily interact with the Gitpod config (e.s. Add plugin X, Remove plugin X).

Examples:

• https://github.com/timmisset/omt-odt-plugin
• https://github.com/brig/concord-intellij-ng (https://plugins.jetbrains.com/plugin/20365-concord)

[andreafalzetti]

This issue is slightly related to #10924, if we could find a way to bring attention to a warning to the user, it could be re-used in other areas, such as the issue just mentioned.

An idea that I had was using the backend control center.

[akosyakov]

We can do it by checking the folders inside /workspace/.config/(JetBrains|JetBrains-latest)/RemoteDev-<ID_CODE>/workspace<REPOSITORY_NAME>/plugins, and compare this list of folders name against the plugins listed in .gitpod.yml.

I don't think that checking plugins dir is good idea. Using API hooks should be safer.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.