feat: add --version flag to lck-grep CLI
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 2/5
- Thời gian dự kiến
- 1-3 giờ
- Mức phù hợp với người mới
- 50/100
Hướng nghiên cứu
Bắt đầu bằng cách xác định điểm vào CLI của lck-grep và kiểm tra xem có tệp Version.lean hay không; xem PR #9 để biết thêm ngữ cảnh. Hoàn tất khi CLI chấp nhận --version và in ra phiên bản engine, kể cả khi được gọi từ script hoặc báo cáo lỗi.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
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
- Ngôn ngữ chính
- Lean
- Star
- 2
- Fork
- 1
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của lambdaclass/lambda_compiler_kit
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 68/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Enable --wfail axiom-guard gate once warnings are cleanCó thể đã có người làm Có pull request liên kết đang mở hoặc đã được merge. Đang mởenhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 55/100
Tất cả issue của lambdaclass/lambda_compiler_kit
Issue tương tự
-
native-convergence self-host
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100
JakeChampion/lang#11408 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
vercel-labs/just-bash#529 ·
Maintainer thường phản hồi trong vòng 3 ngày
-
[Bug]: hermes doctor reports the documented auxiliary provider 'main' as unresolvableCó thể đã có người làm @flyer103 đã nhận hôm nay. Đang mởarea/config comp/cli P2 type/bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100
NousResearch/hermes-agent#132536 ·
Maintainer thường phản hồi trong vòng 1 ngày