I agree with Raul. On Sat, 19 Feb 2022 at 3:15 AM Raul Miller <[email protected]> wrote:
> On Fri, Feb 18, 2022 at 12:33 PM ethiejiesa via General > <[email protected]> wrote: > > If we're opting for broadest portability here, then you might want to > consider > > using `#!/usr/bin/env sh'. > > I do not think that this is the right approach. > > #!/bin/sh finds sh just fine. (And, /bin/sh is more portable than > /usr/bin/env) > > The issue was sh vs. bash. > > Thanks, > > > -- > Raul > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
