mox/rfc/fetch.sh
Mechiel Lukkien b115c7b10d
detect whitespace issues in rfc/index.txt earlier
by checking with each fetch and update.
2024-03-11 08:46:40 +01:00

23 lines
629 B
Bash
Executable file

#!/usr/bin/env bash
set -uo pipefail
if grep ' ' index.txt | grep -E -v '^[^ ]+ [^ ]+ [^ ]+ [^ ]+$$'; then
echo 'bad lines in rfc/index.txt'
exit 1
fi
set -e
for number in $(sed -n 's/^\([0-9][0-9]*\)[ \t].*$/\1/p' index.txt); do
if ! test -f "$number"; then
curl https://www.rfc-editor.org/rfc/rfc$number.txt >$number || rm $number
fi
done
for name in $(sed -n 's/^\([0-9][0-9]*-eid[0-9][0-9]*\)[ \t].*$/\1/p' index.txt); do
if ! test -f "$name"; then
rfc=$(echo $name | cut -f1 -d-)
eid=$(echo $name | cut -f2 -d-)
curl https://www.rfc-editor.org/errata/$eid | go run errata.go >$name || rm $name
fi
done