* Re: kill and pid files [not found] <199706211508.LAA08120@kira.peak.org> @ 1997-06-21 16:37 ` Zoltan Hidvegi 1997-06-21 18:39 ` Timothy Luoma 0 siblings, 1 reply; 4+ messages in thread From: Zoltan Hidvegi @ 1997-06-21 16:37 UTC (permalink / raw) To: luomat; +Cc: Zsh hacking and development 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: kill and pid files 1997-06-21 16:37 ` kill and pid files Zoltan Hidvegi @ 1997-06-21 18:39 ` Timothy Luoma 1997-06-21 18:46 ` Zoltan Hidvegi 0 siblings, 1 reply; 4+ messages in thread From: Timothy Luoma @ 1997-06-21 18:39 UTC (permalink / raw) To: Zoltan Hidvegi; +Cc: Zsh hacking and development 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: kill and pid files 1997-06-21 18:39 ` Timothy Luoma @ 1997-06-21 18:46 ` Zoltan Hidvegi 1997-06-22 4:06 ` Geoff Wing 0 siblings, 1 reply; 4+ messages in thread From: Zoltan Hidvegi @ 1997-06-21 18:46 UTC (permalink / raw) To: luomat; +Cc: Zsh hacking and development > > 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: kill and pid files 1997-06-21 18:46 ` Zoltan Hidvegi @ 1997-06-22 4:06 ` Geoff Wing 0 siblings, 0 replies; 4+ messages in thread From: Geoff Wing @ 1997-06-22 4:06 UTC (permalink / raw) To: zsh-workers 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~1997-06-22 4:11 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <199706211508.LAA08120@kira.peak.org> 1997-06-21 16:37 ` kill and pid files Zoltan Hidvegi 1997-06-21 18:39 ` Timothy Luoma 1997-06-21 18:46 ` Zoltan Hidvegi 1997-06-22 4:06 ` Geoff Wing
Code repositories for project(s) associated with this public inbox https://git.vuxu.org/mirror/zsh/ This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).