executable_start-ssh-agent

 1#!/bin/zsh
 2SSH_ENV="$HOME/.ssh/environment"
 3
 4function start_agent {
 5	echo "Initialising new SSH agent..."
 6	/usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
 7	echo succeeded
 8	chmod 600 "${SSH_ENV}"
 9	. "${SSH_ENV}" > /dev/null
10}
11
12# Source SSH settings, if applicable
13
14if [ -f "${SSH_ENV}" ]; then
15	. "${SSH_ENV}" > /dev/null
16	#ps ${SSH_AGENT_PID} doesn't work under cywgin
17	ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || {
18		start_agent;
19	}
20else
21	start_agent;
22fi