github / github/copilot-cli

grep tool times out on large repos before returning any results

Aberta
#2,985 1 comentário 0 reações 0 responsáveis Ver no GitHub
area:tools
Linguagem predominante
Shell
Estrelas
11.2k
Forks
1.9k
Merge médio
14h 16min
PRs com merge (30d)
6

Descrição

### 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_

Guia de contribuição

Abrir o guia de contribuição

Direção de pesquisa

Comece localizando a ferramenta grep integrada usada pelo Copilot CLI e reproduza a busca descrita na issue em um monorepo grande. Compare seu comportamento com o ripgrep e verifique se as buscas retornam resultados, incluindo resultados parciais quando apropriado, dentro de um tempo razoável.

Escrita pelo modelo de indexação a partir do texto da issue.

Avaliação

Stack de tecnologia
shell
Domínio
cli, performance
Tipo de issue
Bug
Dificuldade
3/5
Tempo estimado
1-2 dias
Status de atividade
Pouca atividade
Clareza
Razoavelmente clara
Facilidade para iniciantes
48/100

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.