# Persist our ssh-agent settings to each shell we open:
ssh_env="$HOME/.ssh/agent.env"
if [ -f "$ssh_env" ]; then
    . "$ssh_env"
    if kill -CONT $SSH_AGENT_PID 2>/dev/null; then
        ssh-add -l | awk '{ if($5){ print }else{ print "Using",$3 } }'
    else
        rm "$ssh_env"
    fi
fi
if [ ! -f "$ssh_env" ]; then
    echo "Restarting ssh-agent; run ssh-add."
    > "$ssh_env"
    chmod 600 "$ssh_env"
    if [ -s "$ssh_env" ]; then
        mv "$ssh_env" "$ssh_env.$$"
        echo "Somebody raced a hack into $ssh_env.$$ !" 1>&2
    else
        ssh-agent | sed -e 's/^echo/#echo/' >> "$ssh_env"
        . "$ssh_env"
    fi
fi