Lean için .gitignore
Lean için deponuza kopyalamaya hazır 1 yoksayma kuralı.
İşlevsel dil ve etkileşimli teorem kanıtlayıcı
Lean için eksiksiz .gitignore
# LFGitignore tarafından oluşturuldu - https://lfgitignore.com
# Oluşturuldu: 2026-10-31 22:49:54 UTC
# Teknolojiler: Lean
### Lean ###
# Lean Lake derleme önbelleği ve çıktıları
.lake/
Bu Lean kurallarının aslında neyi göz ardı ettiği
Aşağıda tüm desenleri ve .gitignore dosyanızda neden yer almaları gerektiğini görebilirsiniz.
Genel
| Desen | Yoksaydıkları |
|---|---|
.lake/ |
Lean Lake derleme önbelleği ve çıktıları |
Lean için bu .gitignore nasıl kullanılır?
- Yukarıdaki Lean kurallarını kopyalayın veya dosyayı doğrudan indirin.
- Git deponuzun kökünde .gitignore adlı bir dosya oluşturun ve kuralları bu dosyaya yapıştırın.
- Bu dosyalardan bazıları zaten izleniyorsa git rm -r --cached . komutunu çalıştırıp yeniden commit edin. Git, yoksayma kurallarını yalnızca izlenmeyen dosyalara uygular.
- Ekipteki herkesin aynı kuralları kullanması için .gitignore dosyasını commit edin.