diff options
author | Ron Yorston <rmy@pobox.com> | 2023-04-07 12:52:57 +0100 |
---|---|---|
committer | Ron Yorston <rmy@pobox.com> | 2023-04-07 12:52:57 +0100 |
commit | 99402ca92c77b13bee5181c129db18ecd9bf8938 (patch) | |
tree | a534d31940f305f13c17d849dce9f38418533d5f /init | |
parent | 9db9b34adaad1a9ebe892eaea486cfe0610bad8d (diff) | |
download | busybox-w32-99402ca92c77b13bee5181c129db18ecd9bf8938.tar.gz busybox-w32-99402ca92c77b13bee5181c129db18ecd9bf8938.tar.bz2 busybox-w32-99402ca92c77b13bee5181c129db18ecd9bf8938.zip |
xargs: kill children when interrupted by Ctrl-C
A user was running the following command in a clone of the
busybox-w32 repo from a busybox-w32 shell using Git for Windows:
git rev-list --all | xargs git grep main.c
Using Ctrl-C to interrupt the command resulted in the familiar
problem that two processes ended up competing for user input:
in this case the busybox-w32 shell and the Git for Windows pager,
less.
Make the problem go away (in this particular case) by killing all
the children of xargs when it's interrupted. This is probably a
sensible thing to do for other circumstances too.
Adds 64-100 bytes.
(GitHub issue #306)
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions