Differences

This shows you the differences between two versions of the page.

--- user-guide:pluginmanager [2024/09/06 17:56] – [GroIMP commands] tim
+++ user-guide:pluginmanager [2025/10/15 08:37] (current) – [Usage from commandline] Tim
@@ Line 57: / Line 57: @@
 </code>
+====== Grogra.de mirror ======
+The main plugin manager repository, as well as most of the released plugins, are hosted on gitlab.com.
+If you for any reason cant access gitlab.com a mirror is provided at: https://plugins.grogra.de/
+To enable this mirror in the plugin manager, go to the "Repositories" tab and add a new repository (press the "Add a repository" button).
+Set the new repository to "https://plugins.grogra.de/plugins.json"  and active it. At this point you might also deactivate the "grogra.gitlab.io" repository, but this step is not necessary.
+{{ :user-guide:plugin_manager_with_grogra_mirror.png?direct |}}