From 9a50eb4758626aa423f2d7f24d61ef49e4273726 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sun, 28 Jun 2026 12:03:27 +0000
Subject: [PATCH] bootstrap.sh: use set +u guard around BASH_SOURCE to fix pipe
 execution

${BASH_SOURCE[0]:-} still triggers set -u when BASH_SOURCE is entirely
unset (not just empty) in pipe mode. Temporarily disable -u for that
single assignment, then restore it.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LQJBvqzXeyuhhAcAA3Q5Wq
---
 bootstrap.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bootstrap.sh b/bootstrap.sh
index 2f5bac9..50fa374 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -48,7 +48,9 @@ echo ""
 
 # ── Option 3: already running from inside the repo ───────────────────────────
 # If setup.sh is sitting next to this script, we have everything we need.
+set +u
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]:-}")" 2>/dev/null && pwd || echo "")"
+set -u
 if [ -f "${SCRIPT_DIR}/setup.sh" ]; then
     echo "  Running from local copy at $SCRIPT_DIR"
     echo "  (No git or internet needed)"