TLA+
TLA+, temiz bir depoyu korumak için TLA+ projelerine özgü derleme 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 TLA+ Dosyası
TLA+.gitignore dosyası, projenizde belirli dosyaları yoksaymanıza izin verir. Kurulum için mutlaka yazıya göz atın.
.gitignore Kopyala
# Reference: https://github.com/jameshfisher/tlaplus/blob/master/.gitignore
# TLA+ Toolbox
# Exclude all files related to TLA+ Toolbox
# *.toolbox/**
*.toolbox/*.launch
*.toolbox/*.pmap
# TLA+ Toolbox models
*.toolbox/**/*.tla
*.toolbox/**/*.out
*.toolbox/**/*.cfg
# PlusCal
*.old
# LaTex output
*.toolbox/*aux
*.toolbox/*.log
*.toolbox/*.pdf
*.toolbox/*.tex
*aux
*.log
*.pdf
*.tex
# Vim backup file
*~