Krzysztof Mazur [off-list ref] writes:
That's why I'm proposing in case of SIGQUIT just killing the editor
(SIGTERM is sufficient for ed).
So git will ignore SIGINT, but die on SIGQUIT (and kill editor
that ignores SIGQUIT).
system(3) also ignores SIGQUIT.
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."