Skip to content

Instantly share code, notes, and snippets.

@xrabohrok
Created July 15, 2015 00:32
Show Gist options
  • Save xrabohrok/7459b0e0302128410d05 to your computer and use it in GitHub Desktop.
Save xrabohrok/7459b0e0302128410d05 to your computer and use it in GitHub Desktop.
git shell ssh manager
# I forget where I ripped this, probably github help pages...
SSH_ENV=$HOME/.ssh/environment
# start the ssh-agent
function start_agent {
echo "Initializing new SSH agent..."
# spawn ssh-agent
/usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
echo succeeded
chmod 600 "${SSH_ENV}"
. "${SSH_ENV}" > /dev/null
/usr/bin/ssh-add
}
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment