diff options
| author | EuAndreh <eu@euandre.org> | 2024-11-17 19:49:05 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-11-17 19:49:05 -0300 |
| commit | 08c9bcb3fed37d9483258bd97aaebc47b54b3fa3 (patch) | |
| tree | 7b114f79c44d347a5ecd1082943d2ba8c95dac5c /v2/aux/checks/todos.sh | |
| parent | mv src/content/styles.css src/content/style.css (diff) | |
| download | euandre.org-08c9bcb3fed37d9483258bd97aaebc47b54b3fa3.tar.gz euandre.org-08c9bcb3fed37d9483258bd97aaebc47b54b3fa3.tar.xz | |
rm -rf v2/
Diffstat (limited to '')
| -rwxr-xr-x | v2/aux/checks/todos.sh | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/v2/aux/checks/todos.sh b/v2/aux/checks/todos.sh deleted file mode 100755 index 6325ebd..0000000 --- a/v2/aux/checks/todos.sh +++ /dev/null @@ -1,58 +0,0 @@ -#!/bin/sh -set -eu - -if [ -e .git ] && git grep FIXME | grep -v '^TODOs.md' | - grep -v '^aux/checks/todos.sh'; then - echo "Found dangling FIXME markers on the project." - echo "You should write them down properly on TODOs.md." - exit 1 -fi - -awk -F'{#' ' -BEGIN { - 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 -} - -/^## (TODO|DOING|WAITING|MEETING|INACTIVE|NEXT|CANCELLED|DONE|WONTFIX)/ { - if (match($0, / \{#.*?\}.*$/) == 0) { - print "Missing ID for line " NR ":\n" $0 - 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 - exitstatus = 1 - } else { - arr[id] = 1 - } - - split($0, l, " ") - h2status = l[2] - h2flag = 1 - prevline = $0 -} - - -/^# Scratch$/ { - exit exitstatus -} -' TODOs.md |