.gitignore untuk Coq

43 peraturan pengabaian untuk Coq, sedia untuk disalin ke repositori anda.

Pembantu bukti rasmi

Muat turun .gitignore Gabungkan Coq dengan teknologi lain

.gitignore yang lengkap untuk Coq

# Dijana oleh LFGitignore - https://lfgitignore.com
# Dicipta: 2026-10-31 21:52:34 UTC
# Teknologi: Coq

### Coq ###
.*.aux
.*.d
# Perpustakaan statik
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Fail objek
*.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

Apa yang sebenarnya diabaikan oleh peraturan Coq ini

Setiap corak di bawah disertakan dengan sebab ia perlu berada dalam .gitignore anda.

Umum

Corak	Perkara yang diabaikan
`.*.aux`	Umum
`.*.d`	Umum
`*.a`	Perpustakaan statik
`*.cma`	Umum
`*.cmi`	Umum
`*.cmo`	Umum
`*.cmx`	Umum
`*.cmxa`	Umum
`*.cmxs`	Umum
`*.glob`	Umum
`*.ml.d`	Umum
`*.ml4.d`	Umum
`*.mlg.d`	Umum
`*.mli.d`	Umum
`*.mllib.d`	Umum
`*.mlpack.d`	Umum
`*.native`	Umum
`*.o`	Fail objek
`*.v.d`	Umum
`*.vio`	Umum
`*.vo`	Umum
`*.vok`	Umum
`*.vos`	Umum
`.coq-native`	Umum
`.csdp.cache`	Umum
`.lia.cache`	Umum
`.nia.cache`	Umum
`.nlia.cache`	Umum
`.nra.cache`	Umum
`csdp.cache`	Umum
`lia.cache`	Umum
`nia.cache`	Umum
`nlia.cache`	Umum
`nra.cache`	Umum
`native_compute_profile_*.data`	Umum
`*.timing.diff`	fail pemasaan yang dijana
`*.v.after-timing`	Umum
`*.v.before-timing`	Umum
`*.v.timing`	Umum
`time-of-build-after.log`	Umum
`time-of-build-before.log`	Umum
`time-of-build-both.log`	Umum
`time-of-build-pretty.log`	Umum

Bagaimana untuk menggunakan .gitignore ini untuk Coq

Salin peraturan Coq di atas, atau muat turun fail terus.
Cipta fail bernama .gitignore di akar repositori Git anda dan tampal peraturan ke dalamnya.
Jika beberapa fail tersebut telah dijejaki, jalankan git rm -r --cached . kemudian komit semula — Git hanya menggunakan peraturan mengabaikan kepada fail yang tidak dijejaki.
Masukkan .gitignore dalam commit supaya semua ahli pasukan berkongsi peraturan yang sama.

Templat Bahasa .gitignore yang lain

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

Lihat setiap templat Bahasa