grep tool times out on large repos before returning any results
- Vorherrschende Sprache
- Shell
- Sterne
- 11.2k
- Forks
- 1.9k
- Ø Merge
- 14 Std. 16 Min.
- Gemergte PRs (30 T.)
- 6
Beschreibung
### Describe the bug
When using the built in grep tool in a large mono repo, the tool returns "timeout" with no results. I had to instruct copilot to use ripgrep rg, instead.
### Affected version
GitHub Copilot CLI 1.0.36
### Steps to reproduce the behavior
1. Open Copilot CLI in a large monorepo
2. Ask to search for a pattern across a folder and its subdirectories, dont nudge it to use ripgrep yet
3. It'll start grepping and maybe timeout
### Expected behavior
The grep tool should return results (even partial) within a reasonable time
### Additional context
_No response_
Beitragsleitfaden
Rechercherichtung
Beginne damit, das integrierte grep-Tool zu finden, das von Copilot CLI verwendet wird, und reproduziere die im Issue beschriebene Suche über ein großes Monorepo. Vergleiche sein Verhalten mit ripgrep und verifiziere, dass Suchen innerhalb einer angemessenen Zeit Ergebnisse zurückgeben, einschließlich partieller Ergebnisse, wo dies angemessen ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- shell
- Bereich
- cli, performance
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 48/100