Move scripts/ to build-aux/

1 files changed, 0 insertions, 42 deletions

diff --git a/scripts/assert-todos.sh b/scripts/assert-todos.sh
deleted file mode 100755
index a9c5ef9..0000000
--- a/scripts/assert-todos.sh
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/usr/bin/env bash
-set -Eeuo pipefail
-cd "$(dirname "${BASH_SOURCE[0]}")"
-cd ../
-
-if git grep FIXME | grep -v '^TODOs.org' | grep -v '^scripts/assert-todos.sh'; then
-  echo "Found dangling FIXME markers on the project."
-  echo "You should write them down properly on TODOs.org."
-  exit 1
-fi
-
-contains-element() {
-  local e match="$1"
-  shift
-  for e; do [[ "$e" == "$match" ]] && return 0; done
-  return 1
-}
-
-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 grep -E '^\*\* (CANCELLED|DONE)' <(sed "${todo}q;d" TODOs.org) > /dev/null; then
-    ID_OFFSET=3
-  else
-    ID_OFFSET=2
-  fi
-  ID="$(sed "$((todo+ID_OFFSET))q;d" TODOs.org)"
-  if grep '^:CUSTOM_ID: .*$' <(echo "$ID") > /dev/null; then
-    if contains-element "$ID" "${KNOWN_IDS[@]}"; then
-      echo "Duplicated ID: $ID"
-      has_error=1
-    else
-      KNOWN_IDS+=("$ID")
-    fi
-  else
-    echo "Missing ID for TODO in line $todo"
-    has_error=1
-  fi
-done
-
-exit "$has_error"