Allow users to define Jetbrains plugins to be installed on a given project

[atduarte]

When using Jetbrains Remote Dev what runs locally is just a Thin Client. If you want to install plugins you must install them in the backend—that runs in Gitpod.

As some plugins require the IDE to restart we should have them installed during the initialization of the workspace.

To do so, and focusing for now on the plugins that are directly associated with a project (not the user), we will need to change the gitpod.yml spec.

Note that a given plugin may be compatible with only some Jetbrains IDE "flavours" (e.g. Scala plugin only works on IDEA).

---

To install a plugin, run bin/remote-dev-server.sh installPlugins PROJECT_PATH pluginId. [1]

[loujaybee]

Relates to: #6706 and #6576 (comment)

[akosyakov]

As far as I understand JB has a canonical way for that:

• https://www.jetbrains.com/help/idea/managing-plugins.html#required-plugins
• and then check in .idea folder

[atduarte]

Found this page that might be useful: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839-How-to-manage-projects-under-Version-Control-Systems

[akosyakov]

It turned out that required plugins are not installed, but rather IDE complain if they are missing: