summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-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))