# Add "source $HOME/.profile-sshagent" to your .profile SSH_AGENT_FILE=~/.ssh/ssh-agent-info-$(hostname) if [ -f "$SSH_AGENT_FILE" ]; then source "$SSH_AGENT_FILE" > /dev/null fi if [ ! -w "$SSH_AUTH_SOCK" ]; then /usr/bin/ssh-agent -s > "$SSH_AGENT_FILE" && \ source "$SSH_AGENT_FILE" > /dev/null fi # Local variables: # mode: shell-script # sh-basic-offset: 4 # sh-indent-comment: t # indent-tabs-mode: nil # End: # ex: ts=4 sw=4 et filetype=sh