.gitignore cho Lean
1 quy tắc bỏ qua cho Lean, sẵn sàng sao chép vào kho mã của bạn.
Ngôn ngữ lập trình hàm và công cụ chứng minh định lý tương tác
Tệp .gitignore đầy đủ cho Lean
# Được tạo bởi LFGitignore - https://lfgitignore.com
# Ngày tạo: 2026-10-31 22:52:41 UTC
# Công nghệ: Lean
### Lean ###
# Bộ đệm và sản phẩm tạo ra Lean Lake biên dịch
.lake/
Các quy tắc Lean này thực sự bỏ qua những gì
Từng mẫu dưới đây và lý do nên thêm vào .gitignore.
Tổng quan
| Mẫu | Nội dung được bỏ qua |
|---|---|
.lake/ |
Bộ đệm và sản phẩm tạo ra Lean Lake biên dịch |
Cách sử dụng .gitignore này cho Lean
- Sao chép các quy tắc Lean ở trên hoặc tải tệp trực tiếp.
- Tạo tệp có tên .gitignore ở thư mục gốc của kho mã Git và dán các quy tắc vào đó.
- Nếu Git đã theo dõi một số tệp này, hãy chạy git rm -r --cached . rồi commit lại — Git chỉ áp dụng quy tắc bỏ qua cho các tệp chưa được theo dõi.
- Commit tệp .gitignore để mọi người trong nhóm dùng chung các quy tắc.