Re: [PATCH 2/5] launch_editor: ignore SIGINT while the editor has control

2012-11-12 Thread Jeff King
On Mon, Nov 12, 2012 at 09:44:49AM -0800, Junio C Hamano wrote: How did this message happen? Subject: [PATCH 2/5] launch_editor: ignore SIGINT while the editor has control To: Kalle Olavi Niemitalo k...@iki.fi Cc: Paul Fox p...@foxharp.boston.ma.us, git@vger.kernel.org

[PATCH 2/5] launch_editor: ignore SIGINT while the editor has control

2012-11-11 Thread Jeff King
From: Paul Fox p...@foxharp.boston.ma.us The user's editor likely catches SIGINT (ctrl-C). but if the user spawns a command from the editor and uses ctrl-C to kill that command, the SIGINT will likely also kill git itself (depending on the editor, this can leave the terminal in an unusable