diff options
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index e1701a0d17d..f13c6ed970f 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -40452,6 +40452,10 @@ address instead. | |||
| 40452 | @item @code{systems} (default: @code{(list (%current-system))}) | 40452 | @item @code{systems} (default: @code{(list (%current-system))}) |
| 40453 | Only request builds for the given @var{systems}. | 40453 | Only request builds for the given @var{systems}. |
| 40454 | 40454 | ||
| 40455 | @item @code{minimum-disk-space} (default: @code{5}) | ||
| 40456 | Minimum disk space (in GiB) that must be available in the store and in | ||
| 40457 | @file{/tmp} before starting a build. | ||
| 40458 | |||
| 40455 | @item @code{log-file} (default: @code{"/var/log/cuirass-remote-worker.log"}) | 40459 | @item @code{log-file} (default: @code{"/var/log/cuirass-remote-worker.log"}) |
| 40456 | Location of the log file. | 40460 | Location of the log file. |
| 40457 | 40461 | ||
