>>> 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).