Hi Paul, At 12:29 27-10-2012, Paul Eggert wrote: >How about if we just default to Bash instead? >Pretty much everybody has Bash if they don't have ksh, Most platforms have /bin/sh. Bash is not in base on BSD. Regards, -sm