#!/bin/sh
set -eu
# Usage: run-server.sh checkout isolated-home server-port port-offset logfile
cd "$1"
export T3CODE_DEV_SEED=0
export T3CODE_PORT_OFFSET="$4"
exec vp run dev:server --home-dir "$2" --port "$3" > "$5" 2>&1