serv/mox
1
0
Fork 0
mirror of https://github.com/mjl-/mox.git synced 2024-12-26 08:23:48 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

detect whitespace issues in rfc/index.txt earlier

Browse source 
by checking with each fetch and update.
This commit is contained in:
Mechiel Lukkien 2024-03-11 08:46:40 +01:00
parent 5f1157060e
commit b115c7b10d
No known key found for this signature in database
2 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rfc/Makefile
View file

@ -8,7 +8,3 @@ link:
genxr: genxr:
go run xr.go -- xr/dev $$(git rev-parse --short HEAD) $$(git log -1 --date=format:"%Y-%m-%d" --format="%ad") $$(git tag --sort=v:refname | tail -n1) ../*.go ../*/*.go go run xr.go -- xr/dev $$(git rev-parse --short HEAD) $$(git log -1 --date=format:"%Y-%m-%d" --format="%ad") $$(git tag --sort=v:refname | tail -n1) ../*.go ../*/*.go
check:
# output should be empty
-grep ' ' index.txt | grep -E -v '^[^ ]+ [^ ]+ [^ ]+ [^ ]+$$'

11
rfc/fetch.sh
View file

@ -1,4 +1,13 @@
#!/bin/sh #!/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 for number in $(sed -n 's/^\([0-9][0-9]*\)[ \t].*$/\1/p' index.txt); do
if ! test -f "$number"; then if ! test -f "$number"; then
curl https://www.rfc-editor.org/rfc/rfc$number.txt >$number || rm $number curl https://www.rfc-editor.org/rfc/rfc$number.txt >$number || rm $number