By the way, printing such a message, one could tell if one's program died and we are back in the shell or is just not responding. (Yes one can also see Terminated messages.)
_______________________________________________ Bug-bash mailing list Bug-bash@gnu.org http://lists.gnu.org/mailman/listinfo/bug-bash
