diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-16 03:23:47 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-16 03:23:47 -0500 |
| commit | 3b917a87e12c8ef97bc52afd3903ac22c082f7b1 (patch) | |
| tree | 5f0f0a05a77b4a721e43066778070edd0f633f02 /Omni/Ide/repl.sh | |
| parent | 4106020d713ea1d8ed815b1180d8df3ea60ae46e (diff) | |
Fix repl.sh and typecheck.sh to properly parse bild --plan JSON
The issue was that bild --plan outputs progress indicators before the
JSON, causing jq to fail parsing. Fixed by: - Using grep to extract
only lines starting with '{' (the JSON output) - This filters out
progress lines like '[…] target' - Restored typecheck.sh to use
repl.sh for proper environment setup
Now typecheck.sh correctly provisions the environment via repl.sh
instead of trying to use bild or raw python.
Diffstat (limited to 'Omni/Ide/repl.sh')
| -rwxr-xr-x | Omni/Ide/repl.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Omni/Ide/repl.sh b/Omni/Ide/repl.sh index d4ff200..ad6bc02 100755 --- a/Omni/Ide/repl.sh +++ b/Omni/Ide/repl.sh @@ -30,7 +30,8 @@ fi shift fi targets="${*:?}" - json=$(bild --plan "${targets[@]}") + # Extract only the JSON line from bild --plan output (skip progress indicators) + json=$(bild --plan "${targets[@]}" 2>&1 | grep -E '^\{') mapfile -t langdeps < <(jq --raw-output '.[].langdeps | select(length > 0) | join("\n")' <<< "$json") mapfile -t sysdeps < <(jq --raw-output '.[].sysdeps | select(length > 0) | join("\n")' <<< "$json") mapfile -t rundeps < <(jq --raw-output '.[].rundeps | select(length > 0) | join("\n")' <<< "$json") |