chore(start.sh): remove obsolete pre-checks
This commit is contained in:
parent
77932c1dda
commit
7672225bcb
22
start.sh
22
start.sh
@ -2,18 +2,11 @@
|
|||||||
|
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>,Sarah Vaupel <vaupel.sarah@campus.lmu.de>,Steffen Jost <jost@tcs.ifi.lmu.de>
|
# SPDX-FileCopyrightText: 2022-2024 Sarah Vaupel <sarah.vaupel@uniworx.de>, Gregor Kleen <gregor.kleen@ifi.lmu.de>, Sarah Vaupel <vaupel.sarah@campus.lmu.de>, Steffen Jost <jost@tcs.ifi.lmu.de>
|
||||||
#
|
#
|
||||||
# SPDX-License-Identifier: AGPL-3.0-or-later
|
# SPDX-License-Identifier: AGPL-3.0-or-later
|
||||||
|
|
||||||
|
|
||||||
[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
|
|
||||||
|
|
||||||
if ! in-develop | grep -q 'In develop'; then
|
|
||||||
printf "Not in develop"
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
|
|
||||||
__HOST=${HOST:-$(hostname -s | awk '{ print $0; }')}
|
__HOST=${HOST:-$(hostname -s | awk '{ print $0; }')}
|
||||||
|
|
||||||
export DETAILED_LOGGING=${DETAILED_LOGGING:-true}
|
export DETAILED_LOGGING=${DETAILED_LOGGING:-true}
|
||||||
@ -33,23 +26,12 @@ export MAIL_REROUTE_TO_NAME='Steffen Jost'
|
|||||||
export MAIL_REROUTE_TO_EMAIL=jost@tcs.ifi.lmu.de
|
export MAIL_REROUTE_TO_EMAIL=jost@tcs.ifi.lmu.de
|
||||||
unset HOST
|
unset HOST
|
||||||
|
|
||||||
move-back() {
|
|
||||||
mv -vT .stack-work .stack-work-run
|
|
||||||
[[ -d .stack-work-build ]] && mv -vT .stack-work-build .stack-work
|
|
||||||
}
|
|
||||||
|
|
||||||
if [[ -d .stack-work-run ]]; then
|
|
||||||
[[ -d .stack-work ]] && mv -vT .stack-work .stack-work-build
|
|
||||||
mv -vT .stack-work-run .stack-work
|
|
||||||
trap move-back EXIT
|
|
||||||
fi
|
|
||||||
|
|
||||||
if ! [ -z "$(which yesod)" ]
|
if ! [ -z "$(which yesod)" ]
|
||||||
then
|
then
|
||||||
yesod devel -p $((${PORT_OFFSET:-0} + 3000)) -q $((${PORT_OFFSET:-0} + 3443)) $@
|
yesod devel -p $((${PORT_OFFSET:-0} + 3000)) -q $((${PORT_OFFSET:-0} + 3443)) $@
|
||||||
elif ! [ -z "$(which stack)" ]
|
elif ! [ -z "$(which stack)" ]
|
||||||
then
|
then
|
||||||
stack exec -- yesod devel -p $((${PORT_OFFSET:-0} + 3000)) -q $((${PORT_OFFSET:-0} + 3443)) $@
|
stack exec -- yesod devel -p $((${PORT_OFFSET:-0} + 3000)) -q $((${PORT_OFFSET:-0} + 3443))
|
||||||
else
|
else
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|||||||
Reference in New Issue
Block a user