-# 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