How is the shell specified in goredo? I have .do files with #!/bin/bash but when I invoke "source" I get an error message:source: not foundThis implies that it's running sh instead of bash.#!/usr/bin/env bash
echo "Hello" 1>&2
echo $SHELL $0 1>&2
source foo.shCheers,--Norm