From 7cf168896cc5ed488d2bd58464504fe8a1938003 Mon Sep 17 00:00:00 2001
From: Kevin Cotugno <kevin@kevincotugno.com>
Date: Thu, 22 Nov 2018 11:18:54 -0800
Subject: [PATCH] ps --pid isn't supported by BusyBox

---
 .ssh-sentinel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ssh-sentinel b/.ssh-sentinel
index b05672b..3c33ebe 100644
--- a/.ssh-sentinel
+++ b/.ssh-sentinel
@@ -14,7 +14,7 @@ if [[ -e $file ]]; then
 	pidenv=`cat $file | grep SSH_AGENT_PID`
 	pid=`printf "$pidenv" | grep -o "[0-9]*"`
 
-	ps --pid "$pid" &> /dev/null
+	kill -0 "$pid" &> /dev/null
 	if (( ! $? )); then
 		export "$sockenv"
 		export "$pidenv"