Skip to content

Commit 7e355aa

Browse files
authored
misc: Make marksman-server.sh work from a symlink (#378)
1 parent a2ed17f commit 7e355aa

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

scripts/marksman-server.sh

+6-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,10 @@
11
#!/usr/bin/env bash
22

3-
SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd)
4-
TOP_DIR="$SCRIPT_DIR/.."
3+
set -x
4+
5+
RESOLVED_PATH="$(readlink -f "${BASH_SOURCE[0]}")"
6+
SCRIPT_DIR=$(cd -- "$(dirname -- "$RESOLVED_PATH")" &>/dev/null && pwd)
7+
TOP_DIR="$(realpath "$SCRIPT_DIR/..")"
58
make -C "$TOP_DIR" build </dev/null 1>&2
69

7-
exec "$TOP_DIR/Marksman/bin/Debug/net8.0/marksman" "${@:1}" server -v=4
10+
exec "$TOP_DIR/Marksman/bin/Debug/net8.0/marksman" "${@:1}"

0 commit comments

Comments
 (0)