From ce36c3894a4937fc818c7cda091422620f1c954a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Thu, 1 Sep 2022 16:43:30 +0200 Subject: [PATCH] move "Custom Plugin Repository" to Appendix I --- ijs.tree | 2 +- .../resources/custom_plugin_repository.md} | 2 +- .../gradle_intellij_plugin/tools_gradle_intellij_plugin.md | 2 +- topics/basics/getting_started/publishing_plugin.md | 4 ++-- topics/basics/plugin_structure/plugin_icon_file.md | 2 +- topics/intro/intellij_platform.md | 2 +- topics/tutorials/build_system/deployment.md | 2 +- 7 files changed, 8 insertions(+), 8 deletions(-) rename topics/{basics/getting_started/update_plugins_format.md => appendix/resources/custom_plugin_repository.md} (99%) diff --git a/ijs.tree b/ijs.tree index e34df9714..4750eed5e 100644 --- a/ijs.tree +++ b/ijs.tree @@ -43,7 +43,6 @@ - @@ -353,6 +352,7 @@ + diff --git a/topics/basics/getting_started/update_plugins_format.md b/topics/appendix/resources/custom_plugin_repository.md similarity index 99% rename from topics/basics/getting_started/update_plugins_format.md rename to topics/appendix/resources/custom_plugin_repository.md index a02710b0d..b476cae60 100644 --- a/topics/basics/getting_started/update_plugins_format.md +++ b/topics/appendix/resources/custom_plugin_repository.md @@ -1,4 +1,4 @@ -[//]: # (title: Publishing a Plugin to a Custom Plugin Repository) +[//]: # (title: Custom Plugin Repository) diff --git a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md index 088887aef..d31514798 100644 --- a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md +++ b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md @@ -376,7 +376,7 @@ Acceptable values - `marketplace()` - use Maven repository with plugins listed in [JetBrains Marketplace](https://plugins.jetbrains.com) - `maven(repositoryUrl)` - use custom Maven repository with plugins - `maven { repositoryUrl }` - use custom Maven repository with plugins where you can configure additional parameters (credentials, authentication and etc.) -- `custom(pluginsXmlUrl)` - use [custom plugin repository](update_plugins_format.md) +- `custom(pluginsXmlUrl)` - use [](custom_plugin_repository.md) ### jreRepository diff --git a/topics/basics/getting_started/publishing_plugin.md b/topics/basics/getting_started/publishing_plugin.md index 5850f6f1a..988b6b529 100644 --- a/topics/basics/getting_started/publishing_plugin.md +++ b/topics/basics/getting_started/publishing_plugin.md @@ -3,7 +3,7 @@ When your plugin is ready, you can publish it to a plugin repository so that other users can install it. -You can choose to publish it on the [JetBrains Marketplace](https://plugins.jetbrains.com) or a [custom plugin repository](update_plugins_format.md). +You can choose to publish it on the [JetBrains Marketplace](https://plugins.jetbrains.com) or a [](custom_plugin_repository.md). > Please make sure to follow the guidelines from [Plugin Overview page](https://plugins.jetbrains.com/docs/marketplace/plugin-overview-page.html) for an optimal presentation of your plugin on JetBrains Marketplace. > @@ -48,4 +48,4 @@ New versions can be uploaded manually on the plugin's detail page, see [Marketpl ## Publishing a Plugin to a Custom Plugin Repository -If you plan to publish your plugin to a repository _other than_ the [JetBrains Marketplace](https://plugins.jetbrains.com), please refer to the [Publishing to Custom Plugin Repositories](update_plugins_format.md) documentation. +If you plan to publish your plugin to a repository _other than_ the [JetBrains Marketplace](https://plugins.jetbrains.com), please refer to the [](custom_plugin_repository.md) documentation. diff --git a/topics/basics/plugin_structure/plugin_icon_file.md b/topics/basics/plugin_structure/plugin_icon_file.md index adbd4e2d0..fada6ed24 100644 --- a/topics/basics/plugin_structure/plugin_icon_file.md +++ b/topics/basics/plugin_structure/plugin_icon_file.md @@ -15,7 +15,7 @@ Whether online or in the product UI, a Plugin Logo helps users to identify a plu ![Example Product Plugin Preferences Dialog](plugin_prefs.png){width="800"} -> When browsing [custom plugin repositories](update_plugins_format.md), there is no support for showing logos for plugins hosted there but not yet installed. +> When browsing [custom plugin repositories](custom_plugin_repository.md), there is no support for showing logos for plugins hosted there but not yet installed. > {type="note"} diff --git a/topics/intro/intellij_platform.md b/topics/intro/intellij_platform.md index 80c35b022..cdf4c0029 100644 --- a/topics/intro/intellij_platform.md +++ b/topics/intro/intellij_platform.md @@ -27,7 +27,7 @@ The IntelliJ Platform includes parsers and a PSI model for many languages, and i Products built on the IntelliJ Platform are extensible applications, with the platform being responsible for creating components and the injection of dependencies into classes. The IntelliJ Platform fully supports plugins, and JetBrains hosts the [JetBrains Marketplace](https://plugins.jetbrains.com) which can be used to distribute plugins that support one or more of the products. -It is also possible to distribute plugins using [Custom Plugin Repositories](update_plugins_format.md). +It is also possible to distribute plugins using a [](custom_plugin_repository.md). Plugins can extend the platform in many ways, from adding a simple menu item to adding support for a complete language, build system, and debugger. Many of the existing IntelliJ Platform features are implemented as plugins that can be included or excluded depending on the needs of the end product. diff --git a/topics/tutorials/build_system/deployment.md b/topics/tutorials/build_system/deployment.md index 2f8a0e91f..d2c056e4a 100644 --- a/topics/tutorials/build_system/deployment.md +++ b/topics/tutorials/build_system/deployment.md @@ -18,7 +18,7 @@ Please see the guide page for manually [publishing a plugin](publishing_plugin.m For initial upload, manual distribution or local installation, invoke the [`buildPlugin`](tools_gradle_intellij_plugin.md#buildplugin-task) Gradle task to create the plugin distribution. The resulting ZIP file is located in build/distributions and can then be installed via drag & drop (or using [plugin manager](https://www.jetbrains.com/help/idea/managing-plugins.html#installing-plugins-from-disk)) -or uploaded to a [custom plugin repository](update_plugins_format.md). +or uploaded to a [](custom_plugin_repository.md). ## Providing Your Personal Access Token to Gradle