Coq için .gitignore

Coq için deponuza kopyalamaya hazır 43 yoksayma kuralı.

Biçimsel ispat asistanı

.gitignore'u indirin Coq'yi diğer teknolojilerle birleştirin

Coq için eksiksiz .gitignore

# LFGitignore tarafından oluşturuldu - https://lfgitignore.com
# Oluşturuldu: 2026-10-31 23:48:30 UTC
# Teknolojiler: Coq

### Coq ###
.*.aux
.*.d
# Statik kütüphane
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Nesne dosyası
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log

Bu Coq 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ı
`.*.aux`	Genel
`.*.d`	Genel
`*.a`	Statik kütüphane
`*.cma`	Genel
`*.cmi`	Genel
`*.cmo`	Genel
`*.cmx`	Genel
`*.cmxa`	Genel
`*.cmxs`	Genel
`*.glob`	Genel
`*.ml.d`	Genel
`*.ml4.d`	Genel
`*.mlg.d`	Genel
`*.mli.d`	Genel
`*.mllib.d`	Genel
`*.mlpack.d`	Genel
`*.native`	Genel
`*.o`	Nesne dosyası
`*.v.d`	Genel
`*.vio`	Genel
`*.vo`	Genel
`*.vok`	Genel
`*.vos`	Genel
`.coq-native`	Genel
`.csdp.cache`	Genel
`.lia.cache`	Genel
`.nia.cache`	Genel
`.nlia.cache`	Genel
`.nra.cache`	Genel
`csdp.cache`	Genel
`lia.cache`	Genel
`nia.cache`	Genel
`nlia.cache`	Genel
`nra.cache`	Genel
`native_compute_profile_*.data`	Genel
`*.timing.diff`	oluşturulan zamanlama dosyaları
`*.v.after-timing`	Genel
`*.v.before-timing`	Genel
`*.v.timing`	Genel
`time-of-build-after.log`	Genel
`time-of-build-before.log`	Genel
`time-of-build-both.log`	Genel
`time-of-build-pretty.log`	Genel

Coq için bu .gitignore nasıl kullanılır?

Yukarıdaki Coq 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.

Diğer Dil .gitignore şablonları

Python Java C C++ Go Kotlin Rust Zig Dart Elm Emacs Lisp Gleam

Her Dil şablonunu görün