[Pkg-gnupg-commit] [gnupg2] 122/292: doc: Document how to manually shut down gpg-agent.

[Daniel Kahn Gillmor]

This is an automated email from the git hooks/post-receive script.

dkg pushed a commit to branch master
in repository gnupg2.

commit 869c06efa791bbc8330becdb3f13f7cf9506257e
Author: Daniel Kahn Gillmor <dkg at fifthhorseman.net>
Date:   Fri Oct 14 12:42:24 2016 -0400

    doc: Document how to manually shut down gpg-agent.
    
    * doc/gpg-agent.texi: document "gpgconf --kill gpg-agent" for manual
      agent termination.
    
    This was requested in a side-comment in https://bugs.debian.org/840669
    
    Signed-off-by: Daniel Kahn Gillmor <dkg at fifthhorseman.net>
---
 doc/gpg-agent.texi | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/gpg-agent.texi b/doc/gpg-agent.texi
index 7c41027..3177af4 100644
--- a/doc/gpg-agent.texi
+++ b/doc/gpg-agent.texi
@@ -85,6 +85,14 @@ gpg-connect-agent /bye
 @end example
 
 @noindent
+If you want to manually terminate the currently-running agent, you can
+safely do so with:
+
+ at example
+gpgconf --kill gpg-agent
+ at end example
+
+ at noindent
 @efindex GPG_TTY
 You should always add the following lines to your @code{.bashrc} or
 whatever initialization file is used for all shell invocations:
@@ -1518,6 +1526,7 @@ much slower or faster than the actual box.
 @ifset isman
 @command{@gpgname}(1),
 @command{gpgsm}(1),
+ at command{gpgconf}(1),
 @command{gpg-connect-agent}(1),
 @command{scdaemon}(1)
 @end ifset

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gnupg/gnupg2.git