23 lines
662 B
Bash
Executable File
23 lines
662 B
Bash
Executable File
#!/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
|
|
|
|
[ "${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}
|