summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-04-22 10:24:39 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-04-22 10:30:00 +0200
commit24780efa3be0ead59566b4d0ef12e37ceccd6530 (patch)
tree67b268afb548c613cc6aa93e3749855eeba0886f
parent6027281ba9759daff31c2763173d21fde4b8a617 (diff)
scripts: Add show-mumi-usage.
-rw-r--r--scripts/mumi.in18
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))