diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-05 01:41:11 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-05 01:42:38 +0200 |
commit | 3bee4b61963bf0e0da4e5a52a0ba24fe0aae2302 (patch) | |
tree | 6a90c79b25ec7bfc71b95539bbef9203592848bb /doc | |
parent | 368680d819f248da19512fb32b911705c5bca5a4 (diff) | |
download | guix-3bee4b61963bf0e0da4e5a52a0ba24fe0aae2302.tar.gz |
services: guix: Add 'max-silent-time' and 'timeout'.
* gnu/services/base.scm (<guix-configuration>)[max-silent-time] [timeout]: New fields. (guix-shepherd-service): Honor them. * doc/guix.texi (Base Services): Document them.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index e8fba43afe..13e692ff66 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -9260,6 +9260,12 @@ Whether to use substitutes. @item @code{substitute-urls} (default: @var{%default-substitute-urls}) The list of URLs where to look for substitutes by default. +@item @code{max-silent-time} (default: @code{0}) +@itemx @code{timeout} (default: @code{0}) +The number of seconds of silence and the number of seconds of activity, +respectively, after which a build process times out. A value of zero +disables the timeout. + @item @code{extra-options} (default: @code{'()}) List of extra command-line options for @command{guix-daemon}. |