2019-06-08 01:46:49 +02:00
|
|
|
#!/bin/zsh
|
|
|
|
SSH_ENV="$HOME/.ssh/environment"
|
|
|
|
|
|
|
|
function start_agent {
|
2020-03-18 14:06:33 +01:00
|
|
|
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
|
2019-06-08 01:46:49 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
# Source SSH settings, if applicable
|
|
|
|
|
|
|
|
if [ -f "${SSH_ENV}" ]; then
|
2020-03-18 14:06:33 +01:00
|
|
|
. "${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;
|
|
|
|
}
|
2019-06-08 01:46:49 +02:00
|
|
|
else
|
2020-03-18 14:06:33 +01:00
|
|
|
start_agent;
|
2019-06-08 01:46:49 +02:00
|
|
|
fi
|