build: cleanup debris
This commit is contained in:
parent
0883e2de21
commit
3b624b9a9f
@ -1,47 +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>, Sarah Vaupel <vaupel.sarah@campus.lmu.de>, Steffen Jost <jost@tcs.ifi.lmu.de>
|
||||
#
|
||||
# SPDX-License-Identifier: AGPL-3.0-or-later
|
||||
|
||||
|
||||
__HOST=${HOST:-$(hostname -s | awk '{ print $0; }')}
|
||||
|
||||
export DETAILED_LOGGING=${DETAILED_LOGGING:-true}
|
||||
export LOG_ALL=${LOG_ALL:-false}
|
||||
export LOGLEVEL=${LOGLEVEL:-info}
|
||||
export DUMMY_LOGIN=${DUMMY_LOGIN:-true}
|
||||
export SERVER_SESSION_ACID_FALLBACK=${SERVER_SESSION_ACID_FALLBACK:-true}
|
||||
export SERVER_SESSION_COOKIES_SECURE=${SERVER_SESSION_COOKIES_SECURE:-false}
|
||||
export COOKIES_SECURE=${COOKIES_SECURE:-false}
|
||||
export ALLOW_DEPRECATED=${ALLOW_DEPRECATED:-true}
|
||||
export ENCRYPT_ERRORS=${ENCRYPT_ERRORS:-false}
|
||||
export RIBBON=${RIBBON:-${__HOST:-localhost}}
|
||||
export APPROOT=${APPROOT:-http://localhost:$DEV_PORT_HTTP}
|
||||
export AVSPASS=${AVSPASS:-nopasswordset}
|
||||
unset HOST
|
||||
|
||||
# export PORT_OFFSET=$(((16#$(sha256sum <<<"$(hostname -f):''${basePath}" | head -c 16)) % 1000))
|
||||
|
||||
# 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)" ]
|
||||
then
|
||||
yesod devel -p "$DEV_PORT_HTTP" -q "$DEV_PORT_HTTPS" $@
|
||||
elif ! [ -z "$(which stack)" ]
|
||||
then
|
||||
stack exec -- yesod devel -p "$DEV_PORT_HTTP" -q "$DEV_PORT_HTTPS" $@
|
||||
else
|
||||
exit 1
|
||||
fi
|
||||
@ -20,7 +20,6 @@ $STARTSCRIPT
|
||||
while [ -e "$FILENAME" ] ; do
|
||||
sleep 1
|
||||
if ! $RUNNER ps --no-trunc | grep -q "$CONTAINER_ID" ; then
|
||||
$RUNNER ps | grep "$CONTAINER_ID"
|
||||
rm "$FILENAME"
|
||||
exit
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user