diff options
| author | EuAndreh <eu@euandre.org> | 2022-01-19 11:11:42 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-01-19 11:11:42 -0300 |
| commit | dc9515abaf8b13a2ce1a8941066bbae605b92590 (patch) | |
| tree | 063ccac7abe3f2a1e969097e309fb01498d21f9c | |
| parent | TODOs.md: Update #td-0c4937c5-fbbd-9ec9-4a23-e71eebf18fee checklist (diff) | |
| download | git-permalink-dc9515abaf8b13a2ce1a8941066bbae605b92590.tar.gz git-permalink-dc9515abaf8b13a2ce1a8941066bbae605b92590.tar.xz | |
aux/workflow/assert-todos.sh: Use td linter over
| -rwxr-xr-x | aux/workflow/assert-todos.sh | 49 |
1 files changed, 1 insertions, 48 deletions
diff --git a/aux/workflow/assert-todos.sh b/aux/workflow/assert-todos.sh index 11db142..f4fd965 100755 --- a/aux/workflow/assert-todos.sh +++ b/aux/workflow/assert-todos.sh @@ -12,51 +12,4 @@ then 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 +td -L |