From 72c0a74609f4ed1f5169fc1710dd2d3bd0e5e35f Mon Sep 17 00:00:00 2001 From: Myriad-Dreamin Date: Fri, 3 Apr 2026 23:47:58 +0800 Subject: [PATCH] dev: watch socket --- scripts/watch-socket.sh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 scripts/watch-socket.sh diff --git a/scripts/watch-socket.sh b/scripts/watch-socket.sh new file mode 100755 index 00000000..09c4ff83 --- /dev/null +++ b/scripts/watch-socket.sh @@ -0,0 +1,24 @@ +#!/usr/bin/env bash + +set -euo pipefail + +BUILD_CMD=${BUILD_CMD:-".clice/build.sh"} + +ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" +cd "${ROOT_DIR}" + +if ! command -v watchexec >/dev/null 2>&1; then + echo "watchexec is not installed or not in PATH." >&2 + exit 1 +fi + +exec watchexec \ + --project-origin "${ROOT_DIR}" \ + --watch "${ROOT_DIR}/config" \ + --watch "${ROOT_DIR}/src" \ + --watch "${ROOT_DIR}/cmake" \ + --watch "${ROOT_DIR}/CMakeLists.txt" \ + --restart \ + --clear \ + --shell=bash \ + -- "$BUILD_CMD && ./build/bin/clice --mode socket --port 50051"