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}