Agda için .gitignore
Agda için deponuza kopyalamaya hazır 2 yoksayma kuralı.
Bağımlı türlere sahip işlevsel programlama dili
Agda için eksiksiz .gitignore
# LFGitignore tarafından oluşturuldu - https://lfgitignore.com
# Oluşturuldu: 2026-10-31 21:51:53 UTC
# Teknolojiler: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Bu Agda 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ı |
|---|---|
*.agdai |
Genel |
**/MAlonzo/** |
Genel |
Agda için bu .gitignore nasıl kullanılır?
- Yukarıdaki Agda 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.