summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-11-16 23:28:55 +0100
committerLudovic Courtès <ludo@gnu.org>2014-11-16 23:28:55 +0100
commit2bc53ba922a291167612c6ccad3ce951f465601c (patch)
tree51f2ce9793d2027e35e909febada6af1c908e09c /doc
parent29934e02449942473f3fac744cde507d33af5c40 (diff)
downloadpatches-2bc53ba922a291167612c6ccad3ce951f465601c.tar
patches-2bc53ba922a291167612c6ccad3ce951f465601c.tar.gz
doc: Document --key-download option of 'guix refresh'.
* doc/guix.texi (Invoking guix refresh): Document --key-download.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi23
1 files changed, 20 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index d93ecff401..f84f0d684c 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2953,13 +2953,30 @@ The following options can be used to customize GnuPG operation:
@table @code
-@item --key-server=@var{host}
-Use @var{host} as the OpenPGP key server when importing a public key.
-
@item --gpg=@var{command}
Use @var{command} as the GnuPG 2.x command. @var{command} is searched
for in @code{$PATH}.
+@item --key-download=@var{policy}
+Handle missing OpenPGP keys according to @var{policy}, which may be one
+of:
+
+@table @code
+@item always
+Always download missing OpenPGP keys from the key server, and add them
+to the user's GnuPG keyring.
+
+@item never
+Never try to download missing OpenPGP keys. Instead just bail out.
+
+@item interactive
+When a package signed with an unknown OpenPGP key is encountered, ask
+the user whether to download it or not. This is the default behavior.
+@end table
+
+@item --key-server=@var{host}
+Use @var{host} as the OpenPGP key server when importing a public key.
+
@end table
@node Invoking guix lint