On Thu, 5 Jan 2023 at 18:26, Chris Hofstaedtler <z...@debian.org> wrote: > Right. For the avoidance of doubt, if you think removing it is a > better option, from my PoV, please do so. It would be nice, but we're sort-of locked in for the "user API". I would rationalise the ps command line parsing first. If you're writing new scripts, then pkill is better maintained than skill but in any case, a bug is a bug.
- Craig