[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/05: doc: Correctly document 'host' field of <cuirass-configuration>.
|
From: |
guix-commits |
|
Subject: |
05/05: doc: Correctly document 'host' field of <cuirass-configuration>. |
|
Date: |
Wed, 17 Jul 2019 18:44:31 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 193d20f35186556a0344f216f8e70187132093df
Author: Ludovic Courtès <address@hidden>
Date: Thu Jul 18 00:43:54 2019 +0200
doc: Correctly document 'host' field of <cuirass-configuration>.
* doc/guix.texi (Continuous Integration): Fix doc of the 'host' field.
---
doc/guix.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index 5781224..2b5077a 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -21349,7 +21349,7 @@ from garbage collection for at least @var{ttl} seconds.
@item @code{port} (default: @code{8081})
Port number used by the HTTP server.
-@item --listen=@var{host}
+@item @code{host} (default: @code{"localhost"})
Listen on the network interface for @var{host}. The default is to
accept connections from localhost.