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 na...@mips.inka.de
