13e12c5d1SDavid du Colombier#!/bin/rc 23e12c5d1SDavid du ColombierU=`{cat /dev/user} 33e12c5d1SDavid du Colombierif(~ $#* 1){ 43e12c5d1SDavid du Colombier U=$1 53e12c5d1SDavid du Colombier} 63e12c5d1SDavid du Colombierps | sed -n '/^'$U' .* Broken/s%[^ ]* *%~>/proc/% 7*acfb0edcSDavid du Colombiers% *.* (.*)%/ctl # \1% 83e12c5d1SDavid du Colombiers%~%echo kill%p' 9