diff options
author | Jan Nieuwenhuizen <janneke@gnu.org> | 2017-09-12 23:43:29 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2017-09-13 18:33:46 +0200 |
commit | 1c05aab4732e2805d3fd21900ab53618915b7480 (patch) | |
tree | e1e3811c6009750f4ea8b7aaf493c79d1aa0400d /doc | |
parent | 9bb98bcf7b69951b6ce9b9564031893063740795 (diff) | |
download | patches-1c05aab4732e2805d3fd21900ab53618915b7480.tar patches-1c05aab4732e2805d3fd21900ab53618915b7480.tar.gz |
gnu: cuirrass: Default port to 8081.
* gnu/services/cuirass.scm (<cuirass-configuration>): Default port to 8081.
Fixes conflict with guix-publish default.
* doc/guix.texi (Continuous Integration): Update.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 97960e9e04..c9505f41d7 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -15277,7 +15277,7 @@ Cuirass jobs. Location of sqlite database which contains the build results and previously added specifications. -@item @code{port} (default: @code{8080}) +@item @code{port} (default: @code{8081}) Port number used by the HTTP server. @item @code{specifications} (default: @code{#~'()}) |