diff options
| author | Daniel Kahn Gillmor <[email protected]> | 2016-10-14 16:42:24 +0000 |
|---|---|---|
| committer | Justus Winter <[email protected]> | 2016-10-17 08:48:03 +0000 |
| commit | 869c06efa791bbc8330becdb3f13f7cf9506257e (patch) | |
| tree | 99ea5fd197ad9b7fcb4dcba796762c21ab070327 /doc/gpg-agent.texi | |
| parent | doc: Point gpg-agent(1) at the right gpg manpage in SEE ALSO. (diff) | |
| download | gnupg-869c06efa791bbc8330becdb3f13f7cf9506257e.tar.gz gnupg-869c06efa791bbc8330becdb3f13f7cf9506257e.zip | |
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 <[email protected]>
Diffstat (limited to 'doc/gpg-agent.texi')
| -rw-r--r-- | doc/gpg-agent.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/gpg-agent.texi b/doc/gpg-agent.texi index 7c41027bc..3177af46d 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: + +@example +gpgconf --kill gpg-agent +@end example + +@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), +@command{gpgconf}(1), @command{gpg-connect-agent}(1), @command{scdaemon}(1) @end ifset |