github / github/copilot-cli

grep tool times out on large repos before returning any results

Aperta
#2,985 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
area:tools
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

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.