Simplify PID check of current ssh-agent

2016-08-21 02:21:47 +02:00 · 2016-08-21 02:21:47 +02:00 · 142ad842d7
parent cb0833ac13
commit 142ad842d7
1 changed files with 1 additions and 1 deletions
--- 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
-	ps x | grep $SSH_AGENT_PID | grep ssh-agent > /dev/null || {
+	ps -o cmd -p $SSH_AGENT_PID | grep -q ssh-agent || {
 		_start_agent
 	}
 else