Created
February 14, 2013 19:12
-
-
Save morsik/4955422 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SSH_ENV="$HOME/.ssh/environment" | |
# start the ssh-agent | |
function start_agent { | |
echo "Initializing new SSH agent..." | |
# spawn ssh-agent | |
ssh-agent | sed 's/^echo/#echo/' > "$SSH_ENV" | |
chmod 600 "$SSH_ENV" | |
. "$SSH_ENV" > /dev/null | |
ssh-add | |
} | |
# test for identities | |
function test_identities { | |
ssh-add -l > /dev/null | |
if [ $? -eq 2 ]; then | |
start_agent | |
fi | |
# test whether standard identities have been added to the agent already | |
ssh-add -l | grep "The agent has no identities" > /dev/null | |
if [ $? -eq 0 ]; then | |
ssh-add | |
# $SSH_AUTH_SOCK broken so we start a new proper agent | |
if [ $? -eq 2 ]; then | |
start_agent | |
fi | |
fi | |
} | |
# check for running ssh-agent with proper $SSH_AGENT_PID | |
if [ -n "$SSH_AGENT_PID" ]; then | |
ps -ef | grep "$SSH_AGENT_PID" | grep ssh-agent > /dev/null | |
if [ $? -eq 0 ]; then | |
test_identities | |
fi | |
# if $SSH_AGENT_PID is not properly set, we might be able to load one from | |
# $SSH_ENV | |
else | |
if [ -f "$SSH_ENV" ]; then | |
. "$SSH_ENV" #> /dev/null | |
fi | |
ps -ef | grep "$SSH_AGENT_PID" | grep ssh-agent > /dev/null | |
if [ $? -eq 0 ]; then | |
test_identities | |
else | |
start_agent | |
fi | |
fi |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment