Bash: how to check if a process id (PID) exists
- by Richard
Hi All,
In a bash script i want to do the following (in pseudo-code):
if [ a process exists with $PID ]; then
kill $PID
fi
What's the appropriate bash for the conditional statement?
Thanks