diff options
| -rw-r--r-- | home/john/.profile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/home/john/.profile b/home/john/.profile index dea5bb8..2f145a6 100644 --- a/home/john/.profile +++ b/home/john/.profile @@ -48,4 +48,7 @@ export LC_ALL=en_US.ISO8859-1 export RTV_BROWSER=w3m export CHOICES=~/.choices -! pgrep ssh-agent 1>/dev/null && eval `ssh-agent` +if [ -z "$SSH_AGENT_PID" ]; then + eval `ssh-agent` + trap "kill $SSH_AGENT_PID" EXIT +fi |