2015-11-11 21:46:41 +00:00
|
|
|
function __ssh_agent_is_started -d "check if ssh agent is already started"
|
2022-09-27 16:47:55 +00:00
|
|
|
if test -n "$SSH_CONNECTION"
|
|
|
|
# This is an SSH session
|
|
|
|
ssh-add -l > /dev/null 2>&1
|
|
|
|
if test $status -eq 0 -o $status -eq 1
|
|
|
|
# An SSH agent was forwarded
|
|
|
|
return 0
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
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
|
|
|
|
|
2022-09-27 16:47:55 +00:00
|
|
|
if test -z "$SSH_AGENT_PID"
|
2015-11-11 21:46:41 +00:00
|
|
|
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
|