misc: Make marksman-server.sh work from a symlink

stack-info: PR: #378, branch: artempyanykh/stack/15
artempyanykh · Dec 14, 2024 · 59cac87 · 59cac87
1 parent a2ed17f
commit 59cac87
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/scripts/marksman-server.sh b/scripts/marksman-server.sh
@@ -1,7 +1,10 @@
 #!/usr/bin/env bash
 
-SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd)
-TOP_DIR="$SCRIPT_DIR/.."
+set -x
+
+RESOLVED_PATH="$(readlink -f "${BASH_SOURCE[0]}")"
+SCRIPT_DIR=$(cd -- "$(dirname -- "$RESOLVED_PATH")" &>/dev/null && pwd)
+TOP_DIR="$(realpath "$SCRIPT_DIR/..")"
 make -C "$TOP_DIR" build </dev/null 1>&2
 
-exec "$TOP_DIR/Marksman/bin/Debug/net8.0/marksman" "${@:1}" server -v=4
+exec "$TOP_DIR/Marksman/bin/Debug/net8.0/marksman" "${@:1}"