So sending SIGTERM is not quite like hitting ^C. I'd really like to understand the difference and get it to work like ^C.
I have tried with bash-4-rc1 and this problem goes away. SIGTERM kills all processes in bash 4, and the processes substitution does return immediately and no longer waits for the sleep to end. bash 4 must have improved signal handling.
Martin _______________________________________________ Help-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-make
