Managing Enterprise Plugin Repositories

Adding repositories

1. In the left-hand pane of the Settings / Preferences dialog (N/A), click Plugins.
2. Click Browse repositories.
3. In the Browse Repositories dialog, click Manage repositories.
4. In the Custom Plugin Repositories dialog, click and specify the repository URL. Click Check Now to make sure that the URL is correct.

Alternatively, you can add the repositories by editing the MPS custom .properties, or custom .vmoptions file:

1. Open the file for editing: Help | Edit Custom Properties or Help | Edit Custom VM Options.
2. Depending on the file, add the following line:
   • idea.plugin.hosts=<URL1>;<URL2>;...<URLn> for the .properies file.
   • -Didea.plugin.hosts=<URL1>;<URL2>;...<URLn> for the .vmoptions file.

Replacing JetBrains repositories with your own ones

If you want to access your corporate plugin repositories instead of the JetBrains repositories from the MPS UI:

1. Open the MPS custom .properties, or custom .vmoptions file for editing: Help | Edit Custom Properties or Help | Edit Custom VM Options.
2. Depending on the file, add the following line:
   • idea.plugins.host=<yourRepositoryURL> for the .properies file.
   • -Didea.plugins.host=<yourRepositoryURL> for the .vmoptions file.
3. Make sure that there is no option that points to http://plugins.jetbrains.com or https://plugins.jetbrains.com.
4. Restart MPS.

As a result, the specified repository becomes your main plugin repository. You can now add repositories as described in Adding repositories.