cli
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
cli [2017-10-07 00:27] – [striplangs.php] 178.149.13.247 | cli [2018-04-05 13:00] – [gittool.php] andi | ||
---|---|---|---|
Line 86: | Line 86: | ||
-k, --keep | -k, --keep | ||
-e, --english | -e, --english | ||
- | trings | + | |
===== gittool.php ===== | ===== gittool.php ===== | ||
Line 123: | Line 123: | ||
executed in all repositories found within this DokuWiki installation | executed in all repositories found within this DokuWiki installation | ||
</ | </ | ||
+ | |||
+ | ===== plugin.php ===== | ||
+ | |||
+ | This tool gives access to all installed [[devel:CLI Plugins]]. Call it without any arguments to get a list of installed plugins: | ||
+ | |||
+ | ./ | ||
+ | |||
+ | Call the plugin' | ||
+ | |||
+ | ./ | ||
+ |
cli.txt · Last modified: 2024-01-31 23:58 by Klap-in