lib/config/gpg-agent-stop

   1 if test -f "$HOME"/.gnupg/agent-info &&
   2       kill -0 `head -1 "$HOME"/.gnupg/agent-info | cut -d: -f 2` 2>/dev/null; then
   3    kill `head -1 "$HOME"/.gnupg/agent-info | cut -d: -f 2`
   4 else
   5    echo GPG agent is not running >&2
   6 fi