Jeff Weber wrote:
(/bin/kill is required. The bash builtin kill cannot kill an entire process group.)
Well, assuming you know that /bin/kill is what you want. In my case I know I would want to use 'env kill <args>' instead. (Does bash really not have any other way to suppress built-ins?)
-- Matthew "Do you do windows as well?" "Only when I'm forced to deal with Microsoft..." -- from a story by Feech _______________________________________________ Bug-bash mailing list Bug-bash@gnu.org http://lists.gnu.org/mailman/listinfo/bug-bash
