Or maybe he could ask bash's maintainers about to including his
   patches in bash.

You'd still want to have an alias for it, so instead of doing
"#!/bin/bash -T" you'd do "#!/bin/bagsh".

Cheers.


_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to