From 52e846a4ced7dfde71668b44ee94eda1ff437165 Mon Sep 17 00:00:00 2001
From: ciregenz <ciregenz@berkeley.edu>
Date: Thu, 13 Aug 2026 08:14:58 -0700
Subject: [PATCH] arena: WebArena hosting pivots to colima -- headless docker
 that actually works here

Docker Desktop proved uninitializable without GUI on this box (three engine rebuilds,
factory reset included); colima on macOS's Virtualization.framework started first try
and swallowed the 131GB of site images Docker Desktop could not load. Bring-up script
now targets the colima socket; shopping/admin/forum booting while gitlab downloads.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WsbS5x2rYsMDxP2kW3qqmQ
---
 e2e/browser-v3/arena/wa_start.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/e2e/browser-v3/arena/wa_start.sh b/e2e/browser-v3/arena/wa_start.sh
index 8cc5b38b..34410322 100755
--- a/e2e/browser-v3/arena/wa_start.sh
+++ b/e2e/browser-v3/arena/wa_start.sh
@@ -3,6 +3,7 @@
 # Idempotent: docker start if the container exists, docker run if not. Hostname is localhost.
 set -u
 D=/Applications/Docker.app/Contents/Resources/bin/docker
+export DOCKER_HOST=unix://$HOME/.colima/default/docker.sock
 H=localhost
 
 up() { # name image port_map extra_runs...