3 function get_agent_pid() {
4 ps waux | grep -- ^$USER\ .\*ssh-agent\ -a\ .\*\ -s | grep -v grep | awk '{ print $2 }' | head -n 1
7 if [ ! -z "$SSH_CLIENT" ]; then
8 # Set display if we aren't already forwarding X11
9 if [ "$DISPLAY" = "" ]; then
10 export DISPLAY="$(echo $SSH_CLIENT | cut -s -d ' ' -f 1):0"
14 # Try to hook up with already running ssh-agent.
15 if [ $UID -gt 0 ]; then
16 # Not all OSes support ``ps -wu''.
17 RUNNING_AGENT="$(get_agent_pid)"
19 # Has the socket gone away?
20 if [ ! -z "$RUNNING_AGENT" -a ! -S "$SOCKET" ]; then
21 if kill $RUNNING_AGENT; then
22 RUNNING_AGENT="$(get_agent_pid)"
24 echo >&2 "$SOCKET has gone away but agent is running as PID $RUNNING_AGENT."
28 if [ -z "$SSH_AGENT_PID" -o ! "$SSH_AGENT_PID" = "$RUNNING_AGENT" ]; then
29 export SSH_AGENT_PID="$RUNNING_AGENT"
30 if [ "$SSH_AGENT_PID" = "" ]; then
33 # Start ssh-agent up then.
35 eval $(/usr/bin/ssh-agent -a "$SOCKET" -s)
36 trap "kill $SSH_AGENT_PID" 0
39 export SSH_AUTH_SOCK="$SOCKET"