![]() Important: You must restart any started workspaces for your IDE preferences to take effect. This section relates to plugin management when using JetBrains IDEs in a remote development context. PhpStorm backend plugins - The JetBrains PhpStorm backend runs within the remote Gitpod workspace.Unlike with regular development, JetBrains Remote development with PhpStorm allows users to install plugins in different locations: For information on regular plugin management, refer to PhpStorm docs. Backend plugins contribute functionality for IDE experiences relating to the filesystem, tools or languages and frameworks. When installed, a backend plugin only applies to the currently running Gitpod workspace and is not associated with a user. However, a plugin can be preconfigured for all users of a repository so that the plugin is enabled with every workspace start. ![]() It is not currently possible to install a backend plugin that applies to all workspaces of a Gitpod user or team.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |