pi.dev-Docker

1. Build the docker image:

docker build -t pi-sandbox .

2. Add this to your .zshrc:

_pi() {
  local workdir="$PWD"
  local host_home="$HOME"

  if [ "$workdir" = "$HOME" ]; then
    workdir="$HOME/pi-sandbox"
    mkdir -p "$workdir"
    echo "[pi] Home directory detected — sandboxing to $workdir"
  fi

  docker run --rm -it \
    -e ANTHROPIC_API_KEY \
    -e OPENAI_API_KEY \
    -v "$host_home/.pi:/home/pi-user/.pi" \
    -v "$host_home/.config/rpiv-web-tools:/home/pi-user/.config/rpiv-web-tools:ro" \
    -e HOME=/home/pi-user \
    -u "$(id -u):$(id -g)" \
    -v "$workdir:$workdir" \
    -w /workspace \
    pi-sandbox "$@"
}

alias pi="_pi"