46 lines
1.2 KiB
Bash
Executable File
46 lines
1.2 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# Run the sis-server in Docker.
|
|
#
|
|
# Usage: ./scripts/run [--port PORT] [--static-dir DIR] [-- ... extra server args]
|
|
#
|
|
# The server listens on port 8080 inside the container, mapped to PORT
|
|
# on the host (default 8080).
|
|
#
|
|
# Examples:
|
|
# ./scripts/run
|
|
# ./scripts/run --port 9090
|
|
# ./scripts/run --static-dir frontend/dist
|
|
set -euo pipefail
|
|
|
|
PROJECT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
|
|
|
HOST_PORT=8080
|
|
SERVER_ARGS=()
|
|
while [ $# -gt 0 ]; do
|
|
case "$1" in
|
|
--port)
|
|
HOST_PORT="$2"
|
|
shift 2
|
|
;;
|
|
*)
|
|
SERVER_ARGS+=("$1")
|
|
shift
|
|
;;
|
|
esac
|
|
done
|
|
|
|
IMAGE="${HAWAT_HASKELL_TOOLS_IMAGE:-ghcr.io/flipstone/haskell-tools:debian-ghc-9.10.3-5d6640d}"
|
|
STACK_ROOT_HOST="${PROJECT_DIR}/.stack-root"
|
|
mkdir -p "${STACK_ROOT_HOST}"
|
|
|
|
echo "[sis] listening on http://0.0.0.0:${HOST_PORT}/"
|
|
|
|
exec docker run --rm -i $([ -t 0 ] && printf -- -t) \
|
|
-v "${PROJECT_DIR}:/work" \
|
|
-v "${STACK_ROOT_HOST}:/stack-root" \
|
|
-e STACK_ROOT=/stack-root \
|
|
-w /work \
|
|
-p "${HOST_PORT}:8080" \
|
|
"${IMAGE}" \
|
|
stack exec sis-server -- --port 8080 "${SERVER_ARGS[@]}"
|