mirror of
https://codeberg.org/streams/streams.git
synced 2024-09-19 23:35:12 +00:00
very small tweaks to CLI plugin manager utility
This commit is contained in:
parent
0484f5b0dc
commit
58efd7553c
2 changed files with 8 additions and 6 deletions
12
util/addons
12
util/addons
|
@ -10,6 +10,7 @@ echo <<< EOT
|
||||||
util/addons list all # list all addons (*)= installed, (!)= disabled due to version compatibility
|
util/addons list all # list all addons (*)= installed, (!)= disabled due to version compatibility
|
||||||
util/addons install foo # install addon named 'foo'
|
util/addons install foo # install addon named 'foo'
|
||||||
util/addons uninstall foo # uninstall addon named 'foo'
|
util/addons uninstall foo # uninstall addon named 'foo'
|
||||||
|
|
||||||
EOT;
|
EOT;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -58,12 +59,13 @@ if($argc == 1) {
|
||||||
|
|
||||||
|
|
||||||
if($argc == 2 && $argv[1] === 'list') {
|
if($argc == 2 && $argv[1] === 'list') {
|
||||||
$r = q("select * from addon where installed = 1");
|
if($plugins) {
|
||||||
if($r) {
|
foreach($plugins as $p) {
|
||||||
foreach($r as $rr) {
|
if($p[1]) {
|
||||||
echo $rr['name'] . "\n";
|
echo $p[0] . "\n";
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
killme();
|
killme();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
2016-01-12.1276H
|
2016-01-13.1277H
|
||||||
|
|
Loading…
Reference in a new issue