SSH_ENV="$HOME/.ssh/environment"
 
function start_agent {
     echo "Initialising new SSH agent..."
     ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
     echo succeeded
     chmod 600 "${SSH_ENV}"
     . "${SSH_ENV}" > /dev/null
     ssh-add ~/.ssh/svn
}

# Source SSH settings, if applicable

if [ -f "${SSH_ENV}" ]; then
     . "${SSH_ENV}" > /dev/null
     ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || {
         start_agent;
     }
else
     start_agent;
fi

echo "Starting new secure SVN shell"
BP=$(readlink -f "$(dirname "$0")")/svnshell_bashprompt

${SHELL} --init-file ${BP}

ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null && {
   echo "Terminating SSH agent"
   kill -9 ${SSH_AGENT_PID};
}
