Browse Source

AGENTS.md: use rg, not grep — recursive grep aborts/hangs in this tree

Alexander Korolev 1 month ago
parent
commit
1a6df4d3d8
1 changed files with 1 additions and 0 deletions
  1. 1 0
      AGENTS.md

+ 1 - 0
AGENTS.md

@@ -515,6 +515,7 @@ the detect command per node and renders `NCCL_IB_GID_INDEX=auto`.
 ## Constraints
 
 - Files ≤500 lines (enforced by `make check-lines`); extract submodules when a file approaches the limit
+- Use `rg` (ripgrep) for all code search — plain `grep -rn` across this tree aborts/hangs and is unusable; `rg` is fast and skips `.git`/gitignored paths
 - `#![deny(clippy::wildcard_imports)]` — no `use foo::*;`
 - **Clippy warnings**: solve by refactoring the code (extract structs, reduce arg count, restructure logic). Do **not** add `#[allow(...)]` attributes. If the only viable fix is an allow attribute, consult the user for guidance.
 - **tool-eval-bench runs happen in a separate working dir, never in this repo** — its output (e.g. `data/benchmarks.sqlite`) is not for this repo; a stray run here pollutes the working tree.