mirror of
https://github.com/mjl-/mox.git
synced 2024-12-25 16:03:48 +03:00
0977b7a6d3
to get builds on openbsd going
23 lines
627 B
Bash
Executable file
23 lines
627 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]*\)[ ].*$/\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]*\)[ ].*$/\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
|