From 1837d73e84511bfe60be818effd416c20db2dc79 Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Thu, 17 Oct 2024 00:37:51 +0200
Subject: [PATCH] build: remove deprecated shell scripts

---
 clean.sh    | 46 ----------------------------------------------
 hoogle.sh   |  9 ---------
 is-clean.sh | 29 -----------------------------
 3 files changed, 84 deletions(-)
 delete mode 100755 clean.sh
 delete mode 100755 hoogle.sh
 delete mode 100755 is-clean.sh

diff --git a/clean.sh b/clean.sh
deleted file mode 100755
index 0c03bd3c0..000000000
--- a/clean.sh
+++ /dev/null
@@ -1,46 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>
-#
-# SPDX-License-Identifier: AGPL-3.0-or-later
-
-[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
-
-if [[ -n "${1}" ]]; then
-    target=".stack-work-${1}"
-else
-    target=".stack-work"
-fi
-shift
-
-if [[ ! -d "${target}" ]]; then
-    printf "%s does not exist or is no directory\n" "${target}" >&2
-    exit 1
-fi
-
-if [[ "${target}" != ".stack-work" ]]; then
-  if [[ -e .stack-work-clean ]]; then
-      printf ".stack-work-clean exists\n" >&2
-      exit 1
-  fi
-
-  move-back() {
-      if [[ -d .stack-work ]]; then
-          mv -vT .stack-work "${target}"
-      else
-          mkdir -v "${target}"
-      fi
-      [[ -d .stack-work-clean ]] && mv -vT .stack-work-clean .stack-work
-  }
-
-  mv -vT .stack-work .stack-work-clean
-  mv -vT "${target}" .stack-work
-  trap move-back EXIT
-fi
-
-(
-    set -ex
-    stack clean $@
-)
diff --git a/hoogle.sh b/hoogle.sh
deleted file mode 100755
index 3668c9208..000000000
--- a/hoogle.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-# SPDX-FileCopyrightText: 2022-2024 Sarah Vaupel <sarah.vaupel@uniworx.de>, Gregor Kleen <gregor.kleen@ifi.lmu.de>
-#
-# SPDX-License-Identifier: AGPL-3.0-or-later
-
-stack --work-dir .stack-work-doc --jobs 4 hoogle -- ${@:-server --local --port $HOOGLE_PORT}
diff --git a/is-clean.sh b/is-clean.sh
deleted file mode 100755
index b50600b68..000000000
--- a/is-clean.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/usr/bin/env bash
-
-# SPDX-FileCopyrightText: 2022-2023 Sarah Vaupel <sarah.vaupel@uniworx.de>, Gregor Kleen <gregor.kleen@ifi.lmu.de>
-#
-# SPDX-License-Identifier: AGPL-3.0-or-later
-
-[[ -n "${FORCE_RELEASE}" ]] && exit 0
-
-set -e
-
-if [ -n "$(git status --porcelain)" ]; then
-    echo "Working directory isn't clean" >&2
-    exit 1
-fi
-
-branch="$(git rev-parse --abbrev-ref HEAD)"
-
-if [[ $branch != "master" && $branch != "test" ]]; then
-    echo "Not on master or test" >&2
-    exit 1
-fi
-
-ourHash=$(git rev-parse HEAD)
-theirHash=$(git ls-remote origin -h refs/heads/$branch | awk '{ print $1; }')
-
-if [ "$theirHash" != "$ourHash" ]; then
-    echo "Local HEAD is not up to date with remote $branch" >&2
-    exit 1
-fi