fix launch-wave mapfile for bash 3.2; coverage-aware image health

9ce01ff1db03b05e833e64d604902596fa7cdd22 · 2026-06-30 13:03:02 -0700 · Steve

Files touched

M launch-wave.sh

Diff

commit 9ce01ff1db03b05e833e64d604902596fa7cdd22
Author: Steve <steve@designerwallcoverings.com>
Date:   Tue Jun 30 13:03:02 2026 -0700

    fix launch-wave mapfile for bash 3.2; coverage-aware image health
---
 launch-wave.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/launch-wave.sh b/launch-wave.sh
index f7ea29c..97166d7 100755
--- a/launch-wave.sh
+++ b/launch-wave.sh
@@ -12,7 +12,9 @@ REPO="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 WAVE="${1:?usage: launch-wave.sh <wave_number>}"
 MANIFEST="$REPO/manifest.json"
 
-mapfile -t PENDING < <(python3 -c "
+# bash 3.2 (macOS) has no mapfile — read into an array via a while loop
+PENDING=()
+while IFS= read -r _c; do [ -n "$_c" ] && PENDING+=("$_c"); done < <(python3 -c "
 import json
 m=json.load(open('$MANIFEST'))
 for code,v in (m.get('vendors') or {}).items():

← c9ed116 build kravet (Kravet) -> BUILT, port 10005, 13420 skus, img · back to Dw Vendor Microsites · auto-save: 2026-06-30T13:40:46 (1 files) — manifest.json 289fab4 →