From 08c9bcb3fed37d9483258bd97aaebc47b54b3fa3 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 17 Nov 2024 19:49:05 -0300
Subject: rm -rf v2/

---
 v2/aux/checks/todos.sh | 58 --------------------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100755 v2/aux/checks/todos.sh

(limited to 'v2/aux/checks/todos.sh')

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
-- 
cgit v1.2.3