Kilian Cavalotti 3576d780fc doc: use pkill instead of ps | grep | awk | xargs (#6034) ...

pkill is provided by the same procps package as ps, so should be present
wherever ps is.

2019-02-26 10:08:08 +08:00

..

man1

…

man3

…

man5

doc: use pkill instead of ps | grep | awk | xargs (#6034)

2019-02-26 10:08:08 +08:00

man7

…

man8

…

tools

…

index.rst

…