Download raw body.
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
port that's just a shell script? (idnits)