From 7d621574ba91a665ef4417e0d3627c905dc6045c Mon Sep 17 00:00:00 2001 From: Daniel Perez Date: Wed, 18 May 2016 12:01:09 +0900 Subject: [PATCH] Fix agent_is_started. --- functions/__ssh_agent_is_started.fish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/functions/__ssh_agent_is_started.fish b/functions/__ssh_agent_is_started.fish index 0a35b76..882c8f0 100644 --- a/functions/__ssh_agent_is_started.fish +++ b/functions/__ssh_agent_is_started.fish @@ -7,6 +7,6 @@ function __ssh_agent_is_started -d "check if ssh agent is already started" return 1 end - ps -ef | grep $SSH_AGENT_PID | grep -v grep | grep ssh-agent > /dev/null + ps -ef | grep $SSH_AGENT_PID | grep -v grep | grep -q ssh-agent return $status end