github / github/copilot-cli

grep tool times out on large repos before returning any results

Ouverte
#2,985 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
area:tools
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

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.