doc: Update hpcguix-web configuration documentation.

* doc/guix.texi (Web Services): Document 'channels' and
'package-list-expiration'.
master
Ludovic Courtès 2018-09-06 13:53:04 +02:00
parent 7df945656c
commit fd3a64335d
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 7 additions and 0 deletions

View File

@ -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