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