.gitignore untuk Lean
1 peraturan pengabaian untuk Lean, sedia untuk disalin ke repositori anda.
Bahasa fungsional dan teorem interaktif prover
.gitignore yang lengkap untuk Lean
# Dijana oleh LFGitignore - https://lfgitignore.com
# Dicipta: 2026-10-31 22:53:44 UTC
# Teknologi: Lean
### Lean ###
# Lean Tasik build cache dan artifak
.lake/
Apa yang sebenarnya diabaikan oleh peraturan Lean ini
Setiap corak di bawah disertakan dengan sebab ia perlu berada dalam .gitignore anda.
Umum
| Corak | Perkara yang diabaikan |
|---|---|
.lake/ |
Lean Tasik build cache dan artifak |
Bagaimana untuk menggunakan .gitignore ini untuk Lean
- Salin peraturan Lean di atas, atau muat turun fail terus.
- Cipta fail bernama .gitignore di akar repositori Git anda dan tampal peraturan ke dalamnya.
- Jika beberapa fail tersebut telah dijejaki, jalankan git rm -r --cached . kemudian komit semula — Git hanya menggunakan peraturan mengabaikan kepada fail yang tidak dijejaki.
- Masukkan .gitignore dalam commit supaya semua ahli pasukan berkongsi peraturan yang sama.