Re: port that's just a shell script? (idnits)

Florian Obser:

> Another thing I'd like to have is idnits
> https://github.com/ietf-tools/idnits/tree/v2
>
> Which is just a bash script, and yes, it's bash.

"Bash" is frequently a codeword for "assumes GNU shell utilities".
At first glance it actually looks like a POSIX sh script without
overt bashisms.

At least this will need adapting; presumably we align with "Darwin"
here:

FDATE='date +%Y-%m-%d -r'
[ "$system" = "Darwin" ] && FDATE='stat -f %Sm -t %Y-%m-%d'

I did _not_ read the whole thing closely.

--
Christian "naddy" Weisgerber naddy@mips.inka.de