Subject: GoRedo shell specification?

From: [email-masked]
Date: Fri, 26 Feb 2021 17:39:26 +0000 (UTC)

You must make your do files executable.

goredo does not parse #! headers itself.
do files that are not executable are always called with /bin/sh. Those that are, are just called and the kernel decides how to proceed.