#mac
cat tmp/pids/server.pid | xargs -n1 -J pid kill -9 pid
#xfce linux
cat tmp/pids/server.pid | xargs -n1 -I pid kill -9 pid
This will read the file server.pid
and redirect the output as an argument to kill
. That way you don't have to look up the ever-changing pid.
Posted by Philipp Antar to Distribusion IT (2014-01-08 09:22)