@lanodan @leah Oh, that is understandable: -15 does not follow the standard utilities syntax. The real question is why the -s option can only take names and not numbers. We should be able to use kill -s KILL and kill -s 9 interchangeably!