aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2021-01-24 16:01:08 -0300
committerEuAndreh <eu@euandre.org>2021-01-24 16:01:08 -0300
commit0a96ec4b5dee0d5243bb801bc3ff27ec33c3236a (patch)
tree96d50f4f23b50c4948825c8086bf4ce0904dc793
parentslides.html: Don't limit user scalability of viewport (diff)
downloadeuandre.org-0a96ec4b5dee0d5243bb801bc3ff27ec33c3236a.tar.gz
euandre.org-0a96ec4b5dee0d5243bb801bc3ff27ec33c3236a.tar.xz
Update generated build-aux/assert-todos.sh
Diffstat (limited to '')
-rwxr-xr-xbuild-aux/assert-todos.sh33
1 files changed, 28 insertions, 5 deletions
diff --git a/build-aux/assert-todos.sh b/build-aux/assert-todos.sh
index 0b0a8d6..fea8395 100755
--- a/build-aux/assert-todos.sh
+++ b/build-aux/assert-todos.sh
@@ -9,26 +9,49 @@ fi
awk -F'{#' '
BEGIN {
- status=0
- idx=0
+ exitstatus = 0
+ h2flag = 0
+ h2status = ""
+ prevline = ""
+ idx = 0
delete ids[0]
}
+h2flag == 1 {
+ split($0, l, " ")
+ timelinestatus = l[2]
+ if (h2status != timelinestatus) {
+ print "h2/timeline status mismatch for line " NR-1
+ print prevline
+ print $0
+ exitstatus = 1
+ }
+ h2status = ""
+ h2flag = 0
+}
+
/^## / {
if (match($0, / \{#.*?\}$/) == 0) {
print "Missing ID for line " NR ":\n" $0
- status=1
+ exitstatus = 1
}
id_with_prefix = substr($2, 0, length($2) - 1)
match(id_with_prefix, /^\w+-/)
id = substr(id_with_prefix, RLENGTH + 1)
if (id in arr) {
print "Duplicate ID: " id
- status=1
+ exitstatus = 1
} else {
arr[id] = 1
}
+
+ split($0, l, " ")
+ h2status = l[2]
+ h2flag = 1
+ prevline = $0
}
+
+
/^# Improvements$/ {
- exit status
+ exit exitstatus
}
' TODOs.md