--- SH/arb.orig 2021-05-12 19:46:00.000000000 -0500 +++ SH/arb 2021-05-12 19:46:00.000000000 -0500 @@ -100,7 +100,7 @@ fi # use ARBHOME defined by location of script (comment out for old behavior) -ARBHOME="$ARBHOME_OF_SCRIPT" +#ARBHOME="$ARBHOME_OF_SCRIPT" echo "Using ARBHOME='$ARBHOME'"