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
