On Wed, Jul 18, 2001 at 09:57:01PM +0200, Michael Karl wrote: > Hey all, > > has anybody a script, which find a process by name and > kill (-9) it by process-id ? man pkill -brian