GoRedo shell specification?

From: Norman Kabir <nkabir_at_domain.hidden>
Date: Fri, 26 Feb 2021 11:26:47 -0600
Message-ID: <CAHJSYiRsGcogbfiP5pt=CMex9e9ZngNsjbzzpC+aUQWkYTBWew_at_domain.hidden>
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

Received on 2021-02-26 17:26:47 UTC

This archive was generated by hypermail 2.4.0 : 2021-02-26 17:30:08 UTC