diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:24:39 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:30:00 +0200 |
commit | 24780efa3be0ead59566b4d0ef12e37ceccd6530 (patch) | |
tree | 67b268afb548c613cc6aa93e3749855eeba0886f | |
parent | 6027281ba9759daff31c2763173d21fde4b8a617 (diff) |
scripts: Add show-mumi-usage.
-rw-r--r-- | scripts/mumi.in | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in index 41f2794..566ab7d 100644 --- a/scripts/mumi.in +++ b/scripts/mumi.in @@ -111,6 +111,24 @@ (error "extraneous argument" arg)) %default-options)) +(define (show-mumi-usage) + (format (current-error-port) + " + `mumi web [--listen-repl[=port]] [--disable-mailer]': + start the application web server. + + `mumi mailer --sender=SENDER --smtp=SMTP: + start a mailer process (requires Redis). + + `mumi worker': + run an update loop to refresh issue information from Debbugs. + + `mumi fetch': + index all Debbugs bug logs and update bug statuses once. + +~%") + (exit 1)) + (match (cdr (program-arguments)) (("mailer" . rest) (let* ((opts (parse-options rest)) |