From: Andreas Schwab <schwab@linux-m68k.org>
Date: Sun, 11 Nov 2012 22:08:43 GMT
Subject: Re: [PATCH 0/5] ignore SIGINT while editor runs
Message-ID: <m2mwynkd1w.fsf@igel.home>
In-Reply-To: <20121111204305.GA20599@shrek.podlesie.net>

Krzysztof Mazur <krzysiek@podlesie.net> 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."