diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-09-06 13:53:04 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-06 13:53:04 +0200 |
| commit | fd3a64335da5a591dbe9276395d0ad6bb09f00bb (patch) | |
| tree | 2aaf94b9973da1f8893b3e36bf705dddd18bfa1d | |
| parent | 7df945656cd448b13969f90a7a95d8a4e9d442f7 (diff) | |
doc: Update hpcguix-web configuration documentation.
* doc/guix.texi (Web Services): Document 'channels' and
'package-list-expiration'.
| -rw-r--r-- | doc/guix.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c328af40cd..2c5b01e4a8 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -16825,6 +16825,13 @@ Extension package for @code{hpcguix-web}. @item @code{menu} (default: @code{'()}) Additional entry in page @code{menu}. + +@item @code{channels} (default: @code{%default-channels}) +List of channels from which the package list is built (@pxref{Channels}). + +@item @code{package-list-expiration} (default: @code{(* 12 3600)}) +The expiration time, in seconds, after which the package list is rebuilt from +the latest instances of the given channels. @end table See the hpcguix-web repository for a |