Op 06-11-16 om 09:08 schreef Martijn Dekker: > An interactive bash is killed by SIGINT after a command to unset any > trap for SIGINT.
...if executed in a dot script, that is (in case that wasn't clear from the subject line and the code examples). Another datapoint: the same phenomenon occurs if the SIGINT trap is unset from within the trap itself. $ trap 'echo "unignoring SIGINT"; trap - INT; kill -s INT "$$"' INT $ kill -s INT "$$" unignoring SIGINT (interactive shell exits. Expected behaviour: return to command prompt with exit status 130) Thanks, - M.
