You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
rex ls | grep -q "^$S " || rex new $S --cwd $R -- fish >/dev/null
has agent || { rex run -s $S --label agent --cwd $R -- fish >/dev/null; sleep 1; }
# close every pane labelled rexdiff, by id
for id in $(rex api call -s $S session.list_blocks '{}' | python3 -c 'import json,sys;[print(b["block_id"]) for b in json.load(sys.stdin)["blocks"] if b.get("label")=="rexdiff"]'); do
rex api call -s $S block.close "{\"block_id\":\"$id\"}" >/dev/null 2>&1 || true