@chaumurky I haven't tested that. But assuming the signal doesn't cause the shell to exit, I'm willing to bet not.
1
@hal_pomeranz some old bash source gave me the idea..: "if (interactive_shell && sig != SIGABRT) maybe_save_shell_history ();"
3
1
1

