github / github/copilot-cli

grep tool times out on large repos before returning any results

Offen
#2,985 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
area:tools
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

Beitragsleitfaden öffnen

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

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.