harvey/rc/bin/slay

#!/bin/rc
rfork e
U=`{cat /dev/user}
for(i){
	ps | sed -n '/^'$U' .* '$i'$/s%[^ ]*  *%~>/proc/%
	s%  *.* (.*)%/ctl # \1%
	s%~%echo kill%p'
}