Idris
Idris, temiz bir depoyu korumak için Idris projelerine özgü yapı eserlerini, bağımlılıkları ve geçici dosyaları hariç tutabilir. Bir .gitignore dosyası, Git sürüm kontrol sistemlerinde Git'in göz ardı etmesi gereken kasıtlı olarak izlenmeyen dosyaları belirtmek için kullanılır. Bu, özellikle derlenmiş ikili dosyalar, günlük dosyaları, geçici dosyalar veya IDE'ye özgü dosyalar gibi depoya ait olmayan dosya ve dizinlerin sürüm kontrolü tarafından izlenmesini engellemek için kullanışlıdır.
Örnek Idris Dosyası
Idris.gitignore dosyası, projenizde belirli dosyaları yoksaymanıza izin verir. Kurulum için mutlaka yazıya göz atın.
.gitignore Kopyala
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o