30 Aug
2018
30 Aug
'18
2:28 p.m.
On Wed, 29 Aug 2018, Grant Taylor via TUHS wrote:
Signal names? I've always used numbers / quit.
I don't think I've ever
seen anybody do otherwise.
I've never used signal names (other than SIGTERM, when it got changed from
14 to 15 for no good reason that I could see; at least it's now the
default signal).
-- Dave