kevin/dotfiles
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ps --pid isn't supported by BusyBox

Browse Source
This commit is contained in:
Kevin Cotugno 2018-11-22 11:18:54 -08:00
parent 8930b1d426
commit 7cf168896c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.ssh-sentinel
View File

@ -14,7 +14,7 @@ if [[ -e $file ]]; then
pidenv=`cat $file | grep SSH_AGENT_PID` pidenv=`cat $file | grep SSH_AGENT_PID`
pid=`printf "$pidenv" | grep -o "[0-9]*"` pid=`printf "$pidenv" | grep -o "[0-9]*"`
ps --pid "$pid" &> /dev/null kill -0 "$pid" &> /dev/null
if (( ! $? )); then if (( ! $? )); then
export "$sockenv" export "$sockenv"
export "$pidenv" export "$pidenv"