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

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.

[andreafalzetti]

This issue is slightly related to https://github.com/gitpod-io/gitpod/issues/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[bot]]

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.