[PATCH] document how to manually shut down gpg-agent

Daniel Kahn Gillmor dkg at fifthhorseman.net
Fri Oct 14 18:42:24 CEST 2016

* 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
+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
+ at command{gpgconf}(1),
 @end ifset

More information about the Gnupg-devel mailing list