Add better query docs.
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 3/5
- Tempo estimado
- 1-2 dias
- Facilidade para iniciantes
- 35/100
- Tipo de issue
- Documentação
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- documentation, search
Direção de pesquisa
Read the zoekt source code, its doc directory, the linked syntax and Sourcegraph query documentation, and sourcebot's existing links. Use pull request #538 as context for query behavior. Done means adding practical query documentation and examples, then linking the new material from sourcebot.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
I've spent a few days trying to understand zoekt querying, and have come to the conclusion while its an amazing tool the docs suck.
I found this:
https://neogrok-demo-web.fly.dev/syntax
https://sourcegraph.com/docs/code-search/queries
https://sourcegraph.com/docs/code-search/queries/language
https://github.com/sourcegraph/zoekt/blob/main/doc
Theres also:
https://github.com/sourcegraph/zoekt/pull/538
I'd like to go read the zoekt source code and maybe add some good docs and examples, and link to them from sourcebot.
- Linguagem predominante
- TypeScript
- Estrelas
- 3.9k
- Forks
- 374
- Merge médio
- 21h 18min
- PRs com merge (30d)
- 39
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de sourcebot-dev/sourcebot
-
bug triage needed
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 84/100
sourcebot-dev/sourcebot#1681 · 1 comentário ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 84/100
sourcebot-dev/sourcebot#1633 ·
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
sourcebot-dev/sourcebot#1384 · 4 comentários ·
-
ask_sb bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
sourcebot-dev/sourcebot#1137 · 4 comentários ·
-
bug triage needed
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
sourcebot-dev/sourcebot#1661 · 1 comentário ·
Todas as issues de sourcebot-dev/sourcebot
Issues semelhantes
-
bug(cli): hapi doctor inline-media prints a fabricated B:\ helper-script path in packaged installs Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
-
Crush Aberta
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 85/100
catppuccin/catppuccin#3125 ·
-
Add a SECURITY.md Aberta
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 90/100
ElementsProject/cln-application#167 · 1 comentário · 1 reação ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
Quantco/pnpm-licenses#17 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100