From 0883e2de21871a5cb6a6e61242089377f158c69c Mon Sep 17 00:00:00 2001 From: Sarah Vaupel Date: Wed, 16 Oct 2024 17:09:40 +0200 Subject: [PATCH] build(backend): rewrite backend hoogle.sh --- hoogle.sh | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/hoogle.sh b/hoogle.sh index 3d1c10408..3668c9208 100755 --- a/hoogle.sh +++ b/hoogle.sh @@ -6,17 +6,4 @@ set -e # # SPDX-License-Identifier: AGPL-3.0-or-later -[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || : - -move-back() { - mv -vT .stack-work .stack-work-doc - [[ -d .stack-work-build ]] && mv -vT .stack-work-build .stack-work -} - -if [[ -d .stack-work-doc ]]; then - [[ -d .stack-work ]] && mv -vT .stack-work .stack-work-build - mv -vT .stack-work-doc .stack-work - trap move-back EXIT -fi - -stack hoogle -- ${@:-server --local --work-dir .stack-work-doc --port $HOOGLE_PORT} +stack --work-dir .stack-work-doc --jobs 4 hoogle -- ${@:-server --local --port $HOOGLE_PORT}