.gitignore cho Idris
4 quy tắc bỏ qua cho Idris, sẵn sàng sao chép vào kho mã của bạn.
Ngôn ngữ có kiểu phụ thuộc
Tệp .gitignore đầy đủ cho Idris
# Được tạo bởi LFGitignore - https://lfgitignore.com
# Ngày tạo: 2026-10-31 21:53:04 UTC
# Công nghệ: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Tệp đối tượng
*.o
Các quy tắc Idris 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.
Idris 2
| Mẫu | Nội dung được bỏ qua |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Mẫu | Nội dung được bỏ qua |
|---|---|
*.ibc |
Idris 1 |
*.o |
Tệp đối tượng |
Cách sử dụng .gitignore này cho Idris
- Sao chép các quy tắc Idris ở 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.