diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2016-09-17 13:01:10 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2016-09-17 13:01:10 +0200 |
| commit | 5bd9500bf4e68bf185db77ad4ecbb728a5b81c01 (patch) | |
| tree | c51e15356f7bb44dd6e206e36943a5ebab094283 /plugins | |
| parent | 5cf9263907b74d33ac0c85a8cb99f736bb63982e (diff) | |
| download | zsh-5bd9500bf4e68bf185db77ad4ecbb728a5b81c01.tar.gz zsh-5bd9500bf4e68bf185db77ad4ecbb728a5b81c01.tar.bz2 zsh-5bd9500bf4e68bf185db77ad4ecbb728a5b81c01.zip | |
ssh-agent: check ssh-agent process w/ ps again
The alternative is using tools that aren't available everywhere.
The latest report is that cygwin/msys2 doesn't have pgrep.
Fixes #5418.
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/ssh-agent/ssh-agent.plugin.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssh-agent/ssh-agent.plugin.zsh b/plugins/ssh-agent/ssh-agent.plugin.zsh index b668fa3b2..20f97c6f1 100644 --- a/plugins/ssh-agent/ssh-agent.plugin.zsh +++ b/plugins/ssh-agent/ssh-agent.plugin.zsh @@ -30,7 +30,7 @@ if [[ $_agent_forwarding == "yes" && -n "$SSH_AUTH_SOCK" ]]; then elif [[ -f "$_ssh_env_cache" ]]; then # Source SSH settings, if applicable . $_ssh_env_cache > /dev/null - pgrep ssh-agent | grep -q $SSH_AGENT_PID || { + ps x | grep ssh-agent | grep -q $SSH_AGENT_PID || { _start_agent } else |