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