diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-21 12:36:09 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-21 12:36:09 -0600 |
| commit | e3a28817b0a7ee5724884d9c132763af4a64182c (patch) | |
| tree | 094a2e25f2efa94a922750b76643dacba7ace598 /plugins/ssh-agent/ssh-agent.plugin.zsh | |
| parent | 2d833d0b20726f58e8776a7158aaa7eca05d5ee9 (diff) | |
| parent | 973c92cd91d595fde37a4dbd5a6389072654252f (diff) | |
| download | zsh-e3a28817b0a7ee5724884d9c132763af4a64182c.tar.gz zsh-e3a28817b0a7ee5724884d9c132763af4a64182c.tar.bz2 zsh-e3a28817b0a7ee5724884d9c132763af4a64182c.zip | |
merge agnoster theme
Diffstat (limited to 'plugins/ssh-agent/ssh-agent.plugin.zsh')
| -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 |