On Fri, Oct 8, 2021 at 5:33 AM Takashi Yamamoto wrote:
> > I can see some "bashisms" in the shell scripts, did you consider using
> > raw /bin/sh or is it too much work and `bash` is the best way already?
> > I am asking because on Linux `/bin/sh` is `/bin/bash` while on BSD
> > `/bin/sh` is /bin/sh` while `bash` is the optional package :-)
>
> i consider using bash-only features in a script with /bin/sh shebang is a bug.
> please feel free to contribute patches, either to avoid bashism or to
> fix shebang.

Hello Takashi :-)

I saw in README.md this was already mentioned. Most scripts now are
properly called with `#!/usr/bin/env bash` so no problem (there are
still some `#!/bin/sh` left only in `boards/arm/lpc17xx_40xx`). I
guess additional bash features are required then.

-- 
CeDeROM, SQ7MHZ, http://www.tomek.cedro.info

Reply via email to