user-guide:pluginmanager
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
user-guide:pluginmanager [2024/07/02 12:07] – gaetan | user-guide:pluginmanager [2025/10/15 08:37] (current) – [Usage from commandline] Tim | ||
---|---|---|---|
Line 42: | Line 42: | ||
+ | ===== Usage from commandline ===== | ||
+ | |||
+ | it is possilbe to install plugins without opening GroIMP by using the following commands: | ||
+ | < | ||
+ | #install | ||
+ | java -jar core.jar --headless -- -cmd / | ||
+ | |||
+ | #uninstall | ||
+ | java -jar core.jar --headless -- -cmd / | ||
+ | |||
+ | #disable | ||
+ | java -jar core.jar --headless -- -cmd / | ||
+ | |||
+ | </ | ||
+ | |||
+ | ====== 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:// | ||
+ | |||
+ | To enable this mirror in the plugin manager, go to the " | ||
+ | Set the new repository to " | ||
+ | {{ : |
user-guide/pluginmanager.1719914824.txt.gz · Last modified: 2024/07/02 12:07 by gaetan