blob: 54f7de3a36e7afebdbf3ee3c408a28fca85e2de2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#! /bin/sh
if test -n "$SSH_AGENT_PID"; then
ssh-agent -k
fi
if test -n "$GPG_AGENT_INFO"; then
pid=`echo "$GPG_AGENT_INFO" | cut -d: -f2`
if test -n "$pid"; then
kill $pid
fi
fi
|