diff options
author | Jeff King <peff@peff.net> | 2012-11-30 17:41:38 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-12-02 02:06:43 -0800 |
commit | a2767c5c91ebda3c083419c80a7f64248c5ec175 (patch) | |
tree | 65f09db0346c17c025b9cc1049aced82675a01b3 /Documentation/CodingGuidelines | |
parent | launch_editor: ignore terminal signals while editor has control (diff) | |
download | tgif-a2767c5c91ebda3c083419c80a7f64248c5ec175.tar.xz |
run-command: do not warn about child death from terminal
SIGINT and SIGQUIT are not generally interesting signals to
the user, since they are typically caused by them hitting "^C"
or otherwise telling their terminal to send the signal.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/CodingGuidelines')
0 files changed, 0 insertions, 0 deletions