MPS 2023.3 Help

Install plugins

Plugins extend the core functionality of MPS. For example, install plugins to get the following features:

  • Integration with version control systems, issue trackers, build management servers, and other tools.

  • Coding assistance support for various languages and frameworks.

  • Shortcut hints, live previews, File Watchers, and so on.

  • Coding exercises that can help you to learn a new programming language.

By default, MPS includes a number of bundled plugins. You can disable bundled plugins, but they cannot be removed. You can install additional plugins from the plugin repository or from a local archive file (ZIP or JAR).

Open plugin settings

  • Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

The plugins settings dialog

Use the Marketplace tab to browse and install plugins from JetBrains Marketplace or from a custom plugin repository.

Use the Installed tab to browse bundled and installed plugins, enable, disable, update, or remove them. Disabling unnecessary plugins can increase performance.

Most plugins can be used with any JetBrains product. Some are limited only to commercial products, others require a separate license.

If a plugin depends on some other plugin, you can find a list of the dependencies in the Additional Info tab. If your project depends on certain plugins, add them to the list of required plugins.

If existing plugins do not provide some functionality that you need, you can create your own plugin for MPS. For more information, refer to Develop your own plugins.

By default, MPS includes several bundled plugins. You can disable bundled plugins, but they cannot be removed. You can install additional plugins from the plugin repository or from a local archive file (ZIP or JAR).

Install plugin from Marketplace

  1. Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

  2. Click the Marketplace tab and type the plugin name in the search field.

  3. To install the plugin, click Install and restart MPS.

To install a specific version, go to the plugin page in JetBrains Marketplace, download and install it as described in Install plugin from disk. For example, you can do it if the most recent version of the plugin is broken.

Install plugin from disk

  1. Download the plugin archive (ZIP or JAR).

  2. Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

  3. On the Plugins page, click The Settings button and then click Install Plugin from Disk.

    Install Plugin from Disk

  4. Select the plugin archive file and click OK.

  5. Click OK to apply the changes and restart the IDE if prompted.

Install plugin from command line

  1. Quit the IDE on which you want to install the plugin.

  2. From JetBrains Marketplace page, find the page of the required plugin, select the Versions tab, and click any version to copy pluginId.

    pluginId is a short name of the plugin you want to install. For example, tanvd.grazi.

  3. Install the plugin:

    Navigate to the bin directory under your MPS installation directory and run the following command:

    mps64.exe installPlugins <PluginID>

    For example:

    mps64.exe installPlugins tanvd.grazi

    Run the following command:

    open -na "MPS.app" --args installPlugins <PluginID>

    For example:

    open -na "MPS.app" --args installPlugins tanvd.grazi

    Navigate to the bin directory under your MPS installation directory and run the following command:

    mps.sh installPlugins <PluginID>

    For example:

    mps.sh installPlugins tanvd.grazi

Remove plugin

  1. Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

  2. Open the Installed tab and find the plugin that you want to remove.

  3. Expand the Disable list and select Uninstall.

    The Uninstall item for plugins

Disable plugin

You can disable a plugin without removing it if you do not need the corresponding functionality.

  1. Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

  2. Open the Installed tab, find and select the plugin that you want to disable.

  3. On the plugin's description pane, click Disable.

    Alternatively, you can use the checkboxes in the list of plugins or the Disable all buttons for plugin categories.

You can disable or enable all manually installed plugins at once (non-bundled) in the menu under The Settings button.

Disable all downloaded plugins

Required plugins

A project may require plugins that provide support for certain technologies or frameworks. You can add such plugins to the list of required plugins for the current project, so that MPS will verify that the plugins are installed and enabled. It will notify you if you forget about some plugin, or someone on your team is not aware about the dependency as they work on the project.

Add a required plugin for your current project

  1. Make sure the required plugin is installed.

  2. Press Ctrl+Alt+S to open the IDE settings and then select Build, Execution, Deployment | Required Plugins.

  3. On the Required Plugins page, click The Add icon and select the plugin. Optionally, specify the minimum and maximum version of the plugin.

    Add required plugin dialog

The list of required plugins is stored in the .idea/externalDependencies.xml file of your project. When you open the project in MPS, it will notify you if the required plugin is disabled, not installed, or requires an update.

Click the link in the notification message to quickly enable, install, or update the required plugin.

Suggested plugins

When you open a project, MPS can suggest installing and enabling plugins based on libraries used in your project. Do not confuse suggested plugins with required plugins that you can manually add to a project so that your teammates also use it.

If you don't need a particular plugin, you can prevent MPS from suggesting it. You can also use your notification settings to disable or enable notifications of all plugin suggestions and the way they are displayed.

Disable suggestions of a plugin

  • When a notification of a suggested plugin appears, click Don't suggest this plugin.

Next time when you open a project, MPS will not suggest this plugin.

Develop your own plugins

You can use any edition of MPS to develop language plugins as well as standalone IDEs for your languages. For more information, refer to the Building MPS Language Plugins Guide

Custom plugin repositories

By default, MPS is configured to use plugins from JetBrains Marketplace. This is a public repository where everyone can host their plugins. However, if you develop plugins for internal use only, you can set up a custom plugin repository for them.

For more information about setting up a custom plugin repository, see the IntelliJ Platform SDK documentation.

Once you set up your plugin repository, add it to MPS:

Add custom repositories

  1. Press Ctrl+Alt+S to open the IDE settings and then select Plugins.

  2. On the Plugins page, click The Settings button and select Manage Plugin Repositories.

  3. In the Custom Plugin Repositories dialog, click The Add icon and specify your repository URL. It must point to the location of the XML file that describes your plugin, for example, updatePlugins.xml. The file can be on the same server as your custom plugins, or on a dedicated one.

    How to add a custom plugin repository

  4. Click OK in the Custom Plugin Repositories dialog to save the list of plugin repositories.

  5. Click OK in the Settings dialog to apply the changes.

When you search for plugins, MPS will show you results both from default JetBrains Marketplace and any custom repositories that you specify. To browse only a certain custom plugin repository, type repository: followed by the URL of the repository in the search field on the Marketplace tab of the Plugins page. For example:

repository:http://plugins.example.com:8080/updatePlugins.xml myPlugin

Alternatively, you can add your custom plugin repositories using the idea.plugin.hosts property:

  1. Go to Help | Edit Custom Properties.

  2. Add the idea.plugin.hosts property to the platform properties file and specify the URL of the XML file that describes your plugin. For example:

    idea.plugin.hosts="http://plugins.example.com:8080/updatePlugins.xml"

  3. Restart MPS.

You may want to replace default JetBrains Marketplace with your custom plugin repository. This can be helpful if you want only your custom repository plugins to be available from MPS.

Replace the default plugin repository

  1. Go to Help | Edit Custom Properties.

  2. Add the idea.plugins.host property to the platform properties file and specify the URL of the application that can properly handle requests from MPS, that is, act as the default plugin repository application instead of JetBrains Marketplace.

    In particular, it should handle the following requests:

  3. Restart MPS.

If you replace the default plugin repository, the search field on the Marketplace tab of the Plugins dialog will browse only the plugins in the new default repository and any custom repositories that you add.

Last modified: 07 March 2024
AccessibilityMPS keyboard shortcuts