diff options
-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)) |