2015-11-11 21:46:41 +00:00
|
|
|
function __ssh_agent_is_started -d "check if ssh agent is already started"
|
2019-10-04 20:53:53 +00:00
|
|
|
if begin; test -f $SSH_ENV; and test -z "$SSH_AGENT_PID"; end
|
2015-11-11 21:46:41 +00:00
|
|
|
source $SSH_ENV > /dev/null
|
|
|
|
end
|
|
|
|
|
|
|
|
if test -z "$SSH_AGENT_PID"
|
|
|
|
return 1
|
|
|
|
end
|
|
|
|
|
2019-10-04 20:53:53 +00:00
|
|
|
ssh-add -l > /dev/null 2>&1
|
|
|
|
if test $status -eq 2
|
|
|
|
return 1
|
2019-10-04 03:37:13 +00:00
|
|
|
end
|
2015-11-11 21:46:41 +00:00
|
|
|
end
|