grep tool times out on large repos before returning any results
- Lingua principale
- Shell
- Stelle
- 11.2k
- Fork
- 1.9k
- Merge medio
- 14h 16m
- PR unite (30g)
- 6
Descrizione
### 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_
Guida per i contributori
Apri la guida per i contributori
Direzione di ricerca
Inizia individuando lo strumento grep integrato usato da Copilot CLI e riproduci la ricerca descritta nell’issue su un monorepo di grandi dimensioni. Confronta il suo comportamento con ripgrep e verifica che le ricerche restituiscano risultati, inclusi risultati parziali quando appropriato, entro un tempo ragionevole.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- shell
- Ambito
- cli, performance
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Tranquilla
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 48/100