diff options
Diffstat (limited to 'Omni/Ide/repl.sh')
| -rwxr-xr-x | Omni/Ide/repl.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Omni/Ide/repl.sh b/Omni/Ide/repl.sh index ad6bc02..6225078 100755 --- a/Omni/Ide/repl.sh +++ b/Omni/Ide/repl.sh @@ -30,8 +30,7 @@ fi shift fi targets="${*:?}" - # Extract only the JSON line from bild --plan output (skip progress indicators) - json=$(bild --plan "${targets[@]}" 2>&1 | grep -E '^\{') + json=$(bild --plan "${targets[@]}" 2>&1) 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") |