@ 260802.2

250521.3 · cc6720631703904b209b81134b5fc44f34de1b13

astral: various updates for the Red Knot rename

reading declarations

Changes to bin/astral/run-ty. All files

bin/astral/run-ty

new file mode 100755@@ -0,0 +1,68 @@+#!/bin/bash++set -e++usage() {+  echo "Usage: $(basename "$0") [-a/--alert -q/--quiet -p/--profile <cargo-profile>] <worktree> -- <ty-args>"+}++base="ty"+profile=dev+worktree=+quiet=+alert=+while true; do+  case "$1" in+    -a|--alert)+      alert=bart+      shift+      ;;+    -p|--profile)+      profile="$2"+      shift 2+      ;;+    -q|--quiet)+      quiet="-q"+      shift+      ;;+    -h)+      usage+      exit 0+      ;;+    --)+      shift+      break+      ;;+    -*)+      usage >&2+      exit 1+      ;;+    *)+      if [ -n "$worktree" ]; then+        usage >&2+        exit 1+      fi+      worktree="$1"+      shift+      ;;+  esac+done+if [ -z "$worktree" ]; then+  usage >&2+  exit 1+fi++checkout="$HOME/astral/ruff/$worktree"+(+  cd "$checkout" || exit 1+  cargo build --profile "$profile" -p ty $quiet+)+if [ "$profile" = "dev" ]; then+  bin="$checkout/target/debug/$base"+else+  bin="$checkout/target/$profile/$base"+fi+if [ -n "$alert" ]; then+  A "$alert" &+fi+"$bin" "$@"