summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-12-21 23:43:41 +0100
committerLudovic Courtès <ludo@gnu.org>2019-12-21 23:55:25 +0100
commit6ee87461e0466f8756ac01257abcae80f7fe17ca (patch)
tree5e1b905367957e38d69fa491b51fedc2220c80a0 /doc
parentc48c6152a81c9fe13af382dc33406103fef0e6a7 (diff)
downloadpatches-6ee87461e0466f8756ac01257abcae80f7fe17ca.tar
patches-6ee87461e0466f8756ac01257abcae80f7fe17ca.tar.gz
services: Add Mumi service.
* gnu/services/web.scm (%mumi-activation, %mumi-accounts): New variables. (mumi-shepherd-services): New procedure. (mumi-service-type): New variable. * doc/guix.texi (Web Services): Document it.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi13
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 7fa1eca097..efc59c1aaf 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -20412,6 +20412,19 @@ The port on which to connect to the database.
@end table
@end deftp
+@subsubheading Mumi
+
+@cindex Mumi, Debbugs Web interface
+@cindex Debbugs, Mumi Web interface
+@uref{https://git.elephly.net/gitweb.cgi?p=software/mumi.git, Mumi} is a
+Web interface to the Debbugs bug tracker, by default for
+@uref{https://bugs.gnu.org, the GNU instance}. Mumi is a Web server,
+but it also fetches and indexes mail retrieved from Debbugs.
+
+@defvr {Scheme Variable} mumi-service-type
+This is the service type for Mumi.
+@end defvr
+
@subsubheading FastCGI
@cindex fastcgi
@cindex fcgiwrap