From 24780efa3be0ead59566b4d0ef12e37ceccd6530 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Wed, 22 Apr 2020 10:24:39 +0200 Subject: scripts: Add show-mumi-usage. --- scripts/mumi.in | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'scripts/mumi.in') 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)) -- cgit v1.2.3