Re: killing subshells in /bin/sh scripts

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Mon, 26 Jun 2017 10:04:57 +0200 (CEST)
    From:        neitzel%hackett.marshlabs.gaertner.de@localhost (Martin Neitzel)
    Message-ID:  <20170626080457.37EE63498B%marshlabs-mx.gaertner.de@localhost>

  | > if you send a signal to a negative process ID, it sends the signal to the
  | > process group that is the absolute value of that ID.
  | 
  | That actually *is* POSIX (and always has been, for both the kill(1)
  | utility and the kill() function)).

Ah yes, you're right, I knew it was for kill(2) but not for kill(1).

They also mandate support for -- though to disambiguate signal numbers
from (negative) process ids - which our kill (/bin/kill - and consequently,
the builtin kill in the shell) does not support, and really should.

kre