Re: kill and pid files

Re: kill and pid files

[Zoltan Hidvegi]

Timothy J. Luoma wrote:
> 	Zoltan Hidvegi <hzoli@ny.frontiercomm.net> wrote in
[...]
> > Oh, this is a really overcomplicated solution for a simple problem.  How
> > about this:
> >
> > pid () {
> > local i
> > for i
> > do
> > ps acx | sed -n "s/ *\([0-9]*\) .* $i *\$/\1/p"
> > done
> > }
> 
> Yes but what if there is more than one process by that name?
> 
> I usually want to kill them all.  This just kills one of them, whereas my
> solution kills them all (that's what the 'tr' part is for).... however, it
[...]
> it also takes multiple arguments, in case you need to kill several things at once

Did you try my script? kill -TERM `pid foo bar baz` will kill all foo, bar,
baz named processes.  And of course it can be improved, since sed is not
necessary:

pid () {
    setopt localoptions extendedglob
    local i
    for i
    do
        echo "${(M)${(M)${(f)$(ps acx)}:%* $i #}## #<->}"
    done
}

-- End of PGP signed section, PGP failed!

Where can I find your PGP key?  I tried finger -l, your web page and the
key servers with no luck.

Zoltan

Re: kill and pid files

[Timothy Luoma]

On Sat, 21 Jun 1997, Zoltan Hidvegi wrote:

> 
> Did you try my script? kill -TERM `pid foo bar baz` will kill all foo, bar,
> baz named processes.  And of course it can be improved, since sed is not
> necessary:
> 
> pid () {
>     setopt localoptions extendedglob
>     local i
>     for i
>     do
>         echo "${(M)${(M)${(f)$(ps acx)}:%* $i #}## #<->}"
>     done
> }


Yes but what if there are TWO processes running with the name 'foo'?

I want to be able to kill them both with one

kill -9 `pid foo`

But this may be a different in what we are calling using 'ps' 

TjL

Re: kill and pid files

[Zoltan Hidvegi]

> > pid () {
> >     setopt localoptions extendedglob
> >     local i
> >     for i
> >     do
> >         echo "${(M)${(M)${(f)$(ps acx)}:%* $i #}## #<->}"
> >     done
> > }
> 
> 
> Yes but what if there are TWO processes running with the name 'foo'?

The above function should find all processes called foo.  It should work
on all systems with BSD-style ps.

Zoltan

Re: kill and pid files

[Geoff Wing]

On 22 Jun 1997 04:49:10 +1000, Zoltan Hidvegi <hzoli@ny.frontiercomm.net> wrote:
:> > pid () {
:> >     setopt localoptions extendedglob
:> >     local i
:> >     for i
:> >     do
:> >         echo "${(M)${(M)${(f)$(ps acx)}:%* $i #}## #<->}"
:> >     done
:> > }
:> Yes but what if there are TWO processes running with the name 'foo'?

And what if they're shell scripts?  And what if this has nothing to do with
zsh.workers and should at most be in zsh.users?
-- 
Geoff Wing [mason@primenet.com.au]   Technical Manager
  Phone    : +61-3-9818 2977         PrimeNet - Internet Consultancy
  Facsimile: +61-3-9819 3788         Web : <URL:http://www.primenet.com.au/>
  Mobile   : 0412 162 441