prosodyctl: Allow passing server on command line with --server
Because why not I guess. This mirrors the corresponding luarocks command
--- a/prosodyctl Fri Feb 04 19:03:02 2022 +0100
+++ b/prosodyctl Fri Feb 04 19:04:32 2022 +0100
@@ -83,7 +83,7 @@
return opts.help and 0 or 1;
end
-- TODO finalize config option name
- local server = configmanager.get("*", "plugin_server");
+ local server = opts.server or configmanager.get("*", "plugin_server");
if not (arg[1]:match("^https://") or lfs.attributes(arg[1]) or server) then
show_warning("There is no 'plugin_server' option in the configuration file");
-- see https://prosody.im/doc/TODO documentation