Hi, Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of the bash instance receiving them. Steps to reproduce: * Open up a shell SHELL_1 and record its pid, e.g. "echo $$" * Launch another shell and send rapid SIGINTs: while true ; do kill -INT OTHER_PID; done
SHELL_1 quickly dies with a SEGAULT Tested on GNU bash, version 5.2.32(1)-release (x86_64-pc-linux-gnu), compiled via plain ./configure && make Thanks and Kind Regards Tycho
