Idris için .gitignore
Idris için deponuza kopyalamaya hazır 4 yoksayma kuralı.
Bağımlı türlere sahip programlama dili
Idris için eksiksiz .gitignore
# LFGitignore tarafından oluşturuldu - https://lfgitignore.com
# Oluşturuldu: 2026-10-31 22:59:59 UTC
# Teknolojiler: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Nesne dosyası
*.o
Bu Idris 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.
İdris 2
| Desen | Yoksaydıkları |
|---|---|
*.ttc |
İdris 2 |
*.ttm |
İdris 2 |
İdris 1
| Desen | Yoksaydıkları |
|---|---|
*.ibc |
İdris 1 |
*.o |
Nesne dosyası |
Idris için bu .gitignore nasıl kullanılır?
- Yukarıdaki Idris 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.