>>> Is it a problem?  Bash prints messages about signal-terminated processes --
>>
>>> Most people want to know when their jobs die
>>
>> ...except when they explicitly kill them.
> 
> Then maybe the answer is to suppress the message when a process dies
> due to SIGTERM, as well as SIGINT.
> 

Since TERM is the default it seems to make sense to me. Could you
mention this to the bash maintainer? :-)

Would the same also make sense for a couple other signals? I have
always been confused by the respective semantics of signals (assuming
there are well defined semantics in the first place).


Reply via email to