Hurmf, I don't like how the former looks like it was two separate commands according to set -x: $ set -x $ r=1 echo + r=1 + echo
$ r=1; echo + r=1 + echo They shouldn't give exactly the same, no? _______________________________________________ Bug-bash mailing list Bug-bash@gnu.org http://lists.gnu.org/mailman/listinfo/bug-bash
