`dd4f57010cdfaba8c3240b21e138c5b3f8a3607d`

Author: nishigori <nishigori.tak@gmail.com>
Committer: nishigori <nishigori.tak@gmail.com>
Date: 2013-11-04 23:40 UTC

Message

Fix bad ps syntax in ssh-agent plugin

Diff

 1diff --git a/plugins/ssh-agent/ssh-agent.plugin.zsh b/plugins/ssh-agent/ssh-agent.plugin.zsh
 2index 019322f7be8aeea7305457dad140f56903129982..a1e64ad0f119fdd627ae8f9a82d41d987d82bb34 100644
 3--- a/plugins/ssh-agent/ssh-agent.plugin.zsh
 4+++ b/plugins/ssh-agent/ssh-agent.plugin.zsh
 5@@ -57,7 +57,7 @@ if [[ ${_plugin__forwarding} == "yes" && -n "$SSH_AUTH_SOCK" ]]; then
 6 elif [ -f "${_plugin__ssh_env}" ]; then
 7   # Source SSH settings, if applicable
 8   . ${_plugin__ssh_env} > /dev/null
 9-  ps -x | grep ${SSH_AGENT_PID} | grep ssh-agent > /dev/null || {
10+  ps x | grep ${SSH_AGENT_PID} | grep ssh-agent > /dev/null || {
11     _plugin__start_agent;
12   }
13 else