Hacktoberfest 2026: as issues que os mantenedores marcaram para outubro, abertas e boas para iniciantes. Ver issues do Hacktoberfest

feat: add --version flag to lck-grep CLI

Aberta
  • Algo errado?
#36 0 comentários 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
2/5
Tempo estimado
1-3 horas
Facilidade para iniciantes
50/100
Tipo de issue
Funcionalidade
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Domínio
cli, compilers

Direção de pesquisa

Comece localizando o ponto de entrada da CLI do lck-grep e verificando se existe um arquivo Version.lean; consulte a PR #9 para obter contexto. Considera-se concluído quando a CLI aceita --version e imprime a versão do mecanismo, inclusive quando invocada por scripts ou relatórios de bugs.

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

Descrição

Problem

The lck-grep CLI tool has no --version flag, making it difficult to identify which build is running in scripts or bug reports.

Expected fix

Add a --version flag that prints the engine version (could be derived from a constant defined in a Version.lean or hardcoded initially).

References

  • Suggested by AI code review on PR #9
Linguagem predominante
Lean
Estrelas
2
Forks
1
Nenhum PR com merge em 30d

Preparar o ambiente

Ainda não verificamos os arquivos de configuração deste projeto. Comece pelo README e veja nosso guia da primeira contribuição para os passos gerais.

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de lambdaclass/lambda_compiler_kit

Todas as issues de lambdaclass/lambda_compiler_kit

Issues semelhantes

Mais issues de CLI

Receba novas issues na sua caixa de entrada

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