lucaspalomodevelop/core
1
0
Fork 0
mirror of https://github.com/lucaspalomodevelop/core.git synced 2026-03-17 01:54:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

system: small service list dump via pluginctl for #6376

Browse Source 
We may have to fill out runtime information as well and filter
correctly just in case the API ever requires it as it's not a
lot of work.
This commit is contained in:
Franco Fichtner 2023-03-14 15:45:49 +01:00
parent fa955f66bc
commit c56bb65762
2 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/opnsense/service/conf/actions_service.conf
View File

@ -9,3 +9,9 @@ command:/usr/local/etc/rc.reload_all
parameters:
type:script
message:Reloading all
[list]
command:/usr/local/sbin/pluginctl -S
parameters:
type:script_output
message:Fetching service list

9
src/sbin/pluginctl
View File

@ -3,7 +3,7 @@
/*
* Copyright (C) 2019 Deciso B.V.
* Copyright (C) 2019-2022 Franco Fichtner <franco@opnsense.org>
* Copyright (C) 2019-2023 Franco Fichtner <franco@opnsense.org>
* Copyright (C) 2017 Alexander Shursha <kekek2@ya.ru>
* All rights reserved.
*
@ -63,17 +63,18 @@ function get_config_prop($path, $cnf = null)
}
}
$opts = getopt('cdghirs', [], $optind);
$opts = getopt('cdghirSs', [], $optind);
$args = array_slice($argv, $optind);
if (isset($opts['h'])) {
echo "Usage: pluginctl [-c | -d | -g | -h | -i | -r | -s] ...\n\n";
echo "Usage: pluginctl [-c | -d | -g | -h | -i | -r | -S | -s] ...\n\n";
echo "\t-c configure mode (default), executes plugin [_configure] hook\n";
echo "\t-d device mode, lists registered devices\n";
echo "\t-g get config property (raw, e.g. system.firmware.plugins)\n";
echo "\t-h show this help text and exit\n";
echo "\t-i invoke dynamic interface registration\n";
echo "\t-r run mode (e.g. command)\n";
echo "\t-S service dump\n";
echo "\t-s service mode (e.g. myservice restart)\n\n";
echo "Without arguments, a list of plugins of the requested type is shown.\n";
} elseif (isset($opts['d'])) {
@ -99,6 +100,8 @@ if (isset($opts['h'])) {
}
}
}
} elseif (isset($opts['S'])) {
echo json_encode(plugins_services(), JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT) . PHP_EOL;
} elseif (isset($opts['s'])) {
$name = !empty($args[0]) ? $args[0] : '';
$act = !empty($args[1]) ? $args[1] : '';