Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- SSH_ENV="$HOME/.ssh/environment"
- function start_agent {
- echo "Initialising new 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;
- }
- # Source SSH settings, if applicable
- if [ -f "${SSH_ENV}" ]; then
- . "${SSH_ENV}" > /dev/null
- #ps ${SSH_AGENT_PID} doesn't work under cywgin
- ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || {
- start_agent;
- }
- else
- start_agent;
- fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement