From f0c75e1433d0c91729d2fb3814c9fdac4bf42ffd Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 10 Jan 2021 10:35:48 -0300
Subject: Readd assert-todos.sh

---
 build-aux/assert-todos.sh | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100755 build-aux/assert-todos.sh

(limited to 'build-aux/assert-todos.sh')

diff --git a/build-aux/assert-todos.sh b/build-aux/assert-todos.sh
new file mode 100755
index 0000000..3fe513a
--- /dev/null
+++ b/build-aux/assert-todos.sh
@@ -0,0 +1,38 @@
+#!/bin/sh -eu
+
+if git grep FIXME | grep -v '^TODOs.org' | grep -v '^build-aux/assert-todos.sh' | grep -v '^build-aux/docbook-xsl/'; then
+  echo "Found dangling FIXME markers on the project."
+  echo "You should write them down properly on TODOs.org."
+  exit 1
+fi
+
+KNOWN_IDS=''
+has_error=0
+# shellcheck disable=2013
+for todo in $(sed -e '/^\* Tasks$/,/^\* Improvements$/!d' TODOs.org | grep -nE '^\*\* .*$' | cut -d: -f1); do
+  if sed "${todo}q;d" TODOs.org | grep -qE '^\*\* (CANCELLED|DONE)'; then
+    ID_OFFSET=3
+  else
+    ID_OFFSET=2
+  fi
+  line_n="$((todo+ID_OFFSET))"
+  ID_LINE="$(sed "${line_n}q;d" TODOs.org)"
+  if echo "$ID_LINE" | grep -q '^:CUSTOM_ID: .*$'; then
+    ID="$(echo "$ID_LINE" | awk '{print $2}')"
+    if echo "$KNOWN_IDS" | grep -q "$ID"; then
+      echo "Duplicated ID: $ID"
+      has_error=1
+    else
+      if [ -z "$KNOWN_IDS" ]; then
+        KNOWN_IDS="$ID"
+      else
+        KNOWN_IDS="$KNOWN_IDS:$ID"
+      fi
+    fi
+  else
+    echo "Missing ID for TODO in line $line_n"
+    has_error=1
+  fi
+done
+
+exit "$has_error"
-- 
cgit v1.2.3