grep tool times out on large repos before returning any results
- Langage dominant
- Shell
- Étoiles
- 11.2k
- Forks
- 1.9k
- Merge moyen
- 14 h 16 min
- PR mergées (30 j)
- 6
Description
### 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_
Guide de contribution
Ouvrir le guide de contribution
Piste de recherche
Commencez par localiser l’outil grep intégré utilisé par Copilot CLI et reproduisez la recherche décrite dans l’issue sur un grand monorepo. Comparez son comportement avec ripgrep et vérifiez que les recherches renvoient des résultats, y compris des résultats partiels lorsque cela est approprié, dans un délai raisonnable.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- shell
- Domaine
- cli, performance
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- Calme
- Clarté
- Plutôt claire
- Accessibilité débutants
- 48/100