1#! /bin/sh 2# $Id: killall,v 1.3 2012/06/29 09:39:19 tom Exp $ 3# Linux has a program that does this correctly. 4 5. ./setup-vars 6 7for prog in $* 8do 9 pid=`ps -a |fgrep $prog |fgrep -v fgrep|sed -e 's/^[ ]*//' -e 's/ .*//' ` 10 if test -n "$pid" ; then 11 echo killing pid=$pid, $prog 12 kill -$SIG_HUP $pid || \ 13 kill -$SIG_TERM $pid || \ 14 kill -$SIG_KILL $pid 15 fi 16done 17