feat: add --version flag to lck-grep CLI
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 50/100
Línea de trabajo
Comienza localizando el punto de entrada de la CLI de lck-grep y comprobando si existe un archivo Version.lean; revisa PR #9 para obtener contexto. Se considera terminado cuando la CLI acepta --version e imprime la versión del motor, incluso cuando se invoca desde scripts o informes de errores.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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
- Lenguaje dominante
- Lean
- Estrellas
- 2
- Forks
- 1
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de lambdaclass/lambda_compiler_kit
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100
Todos los issues de lambdaclass/lambda_compiler_kit
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
EverMind-AI/Raven#845 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
aoqia194/leaf-loader#19 ·
-
good first issue hacktoberfest
Dificultad 2/5 1-3 horas Aptitud para principiantes 92/100
RogueAlg0/taken#385 · 3 comentarios ·
Los mantenedores suelen responder en 1 día
-
discover: `sudo RTK_DISABLED=$VAR …` is not detected as a bypass when `sudo` is a transparent prefixAbiertoarea:cli bug good first issue priority:medium
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
rtk-ai/rtk#4412 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
filamentphp/filament#20630 ·
Los mantenedores suelen responder en 1 día