diff options
author | Joris | 2025-04-19 12:36:38 +0200 |
---|---|---|
committer | Joris | 2025-04-19 12:38:24 +0200 |
commit | 632eef6424d8dc8d40c2906177892697679e7b85 (patch) | |
tree | 48d9cd60e9e96eab810b5f7bb3c7b1fa79e0438f /bin/dev | |
parent | 063d8ef9eaf874a941f4459e831057dd0a1b7ddd (diff) |
Add ZIG server
Diffstat (limited to 'bin/dev')
-rwxr-xr-x | bin/dev | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -0,0 +1,22 @@ +#!/usr/bin/env bash +set -euo pipefail + +cd "$(dirname $0)/.." +PROJECT="maps" + +if [ "${1:-}" = "start" ]; then + + tmuxinator stop "$PROJECT" 2>/dev/null || true + tmuxinator start + +elif [ "${1:-}" = "stop" ]; then + + fuser -k 3000/tcp || true + tmuxinator stop "$PROJECT" + +else + + echo "Usage: $0 start|stop" + exit 1 + +fi |