diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2021-08-12 12:58:34 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-08-12 12:59:55 +0200 |
commit | d128c6fd33f46ec4e2d0ef352d20a858c377bf6f (patch) | |
tree | 9933233fb5b0033651a4325038d82123768bd850 /gnu/services/cuirass.scm | |
parent | 8b9a5641bc1b6acb62e0e0467ee03cefde2d1757 (diff) |
services: cuirass: Add a no-publish argument.
* gnu/services/cuirass.scm (<cuirass-remote-server-configuration>): Add a
no-publish? field.
(cuirass-shepherd-service): Honor it.
* doc/guix.texi (Cuirass remote building): Document it.
Diffstat (limited to 'gnu/services/cuirass.scm')
-rw-r--r-- | gnu/services/cuirass.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gnu/services/cuirass.scm b/gnu/services/cuirass.scm index 99b137e05e..f0df5a6824 100644 --- a/gnu/services/cuirass.scm +++ b/gnu/services/cuirass.scm @@ -72,6 +72,8 @@ (default "/var/log/cuirass-remote-server.log")) (cache cuirass-remote-server-configuration-cache ;string (default "/var/cache/cuirass/remote/")) + (no-publish? cuirass-remote-server-configuration-no-publish? ;boolean + (default #f)) (trigger-url cuirass-remote-server-trigger-url ;string (default #f)) (public-key cuirass-remote-server-configuration-public-key ;string @@ -191,8 +193,8 @@ (stop #~(make-kill-destructor))) ,@(if remote-server (match-record remote-server <cuirass-remote-server-configuration> - (backend-port publish-port log-file cache trigger-url - public-key private-key) + (backend-port publish-port log-file cache no-publish? + trigger-url public-key private-key) (list (shepherd-service (documentation "Run Cuirass remote build server.") @@ -225,6 +227,9 @@ "--trigger-substitute-url=" trigger-url)) '()) + #$@(if no-publish? + (list "--no-publish") + '()) #$@(if public-key (list (string-append "--public-key=" |