Paul Eggert wrote:
> As a style matter we should prefer "kill -INT ..." too, I suppose.

I agree. We shouldn't know be heart that SIGABRT is 6 and that EINVAL is 22.

Bruno




Reply via email to