Subject: GoRedo shell specification?

From: Norman Kabir <[email-masked]>
Date: Fri, 26 Feb 2021 11:26:47 -0600

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 found

This implies that it's running sh instead of bash.

#!/usr/bin/env bash

echo "Hello" 1>&2
echo $SHELL $0 1>&2
source foo.sh

Cheers,
--Norm