Details |
Last modification |
View Log
| RSS feed
| Rev |
Author |
Line No. |
Line |
| 192 |
- |
1 |
#!/bin/sh
|
|
|
2 |
|
|
|
3 |
## The nice way
|
|
|
4 |
if test -n "${GPG_AGENT_INFO}"; then
|
|
|
5 |
GPG_AGENT_PID=`echo ${GPG_AGENT_INFO} | cut -d: -f2` && kill ${GPG_AGENT_PID} ||:
|
|
|
6 |
unset GPG_AGENT_INFO
|
|
|
7 |
fi
|
|
|
8 |
|
|
|
9 |
## The not so nice way
|
|
|
10 |
## NOTE: a root login will kill *all* users' gpg-agents
|
|
|
11 |
#killall gpg-agent
|
|
|
12 |
|
|
|
13 |
## clean/remove .gpg-agent-info
|
|
|
14 |
## (we'll let the startup script reap stale entries)
|
|
|
15 |
#rm -f $HOME/.gpg-agent-info
|