Bug#612146: pkill via process number

2019-12-07 Thread 積丹尼 Dan Jacobson
OK. Then at man pkill -F, --pidfile file Read PID's from file. This option is perhaps more useful for pkill than pgrep. add example $ sleep & [2] 40473 $ pkill -F /dev/stdin <<< $! [2]+ Terminated sleep as the workaround allowing pkill to work direct

Bug#612146: pkill via process number

2019-12-07 Thread ed-deb...@s5h.net
On 2011-02-07 06:43+0800, jida...@jidanni.org wrote: > Pkill allows one to cautiously only kill any existing processes that > match the given specifications. > > OK, here's the specification: process number 12345. Wait! There's no > way to tell pkill that. Could you use -F to do that? $ pgrep

Bug#612146: pkill via process number

2011-02-06 Thread jidanni
> "CS" == Craig Small writes: CS> I'm confused what you are trying to get pkill to do. CS> What are you trying to do here and doesn't /bin/kill do this function? Pkill allows one to cautiously only kill any existing processes that match the given specifications. OK, here's the specificatio

Bug#612146: pkill via process number

2011-02-06 Thread Craig Small
On Sun, Feb 06, 2011 at 03:26:25PM +0800, jida...@jidanni.org wrote: > That way one could do > $ pkill -Z $! > instead of > $ kill 2>&- $! > if one wanted. > (-Z is just an arbitrary choice.) Hello, I'm confused what you are trying to get pkill to do. What are you trying to do here and doesn't

Bug#612146: pkill via process number

2011-02-06 Thread jidanni
Package: procps Version: 1:3.2.8-10 Severity: wishlist File: /usr/share/man/man1/pgrep.1.gz -P ppid,... Only match processes whose parent process ID is listed. OK, but you forgot one: -Z ppid,... Only match processes whose process ID is listed. That way