Ludovic Frank Gitignore

.gitignore Coq jaoks

43 tehnoloogia Coq eiramisreeglit, mida saad oma hoidlasse kopeerida.

Formaalse tõestamise abiline

Laadige alla .gitignore Kombineerige Coq teiste tehnoloogiatega

Täielik .gitignore Coq jaoks 

# Genereeritud LFGitignore - https://lfgitignore.com
# Loodud: 2026-10-31 22:58:58 UTC
# Tehnoloogiad: Coq

### Coq ###
.*.aux
.*.d
# Staatiline raamatukogu
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Objekti fail
*.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

Mida need Coq reeglid tegelikult ignoreerivad

Iga allolev muster ja selgitus, miks see kuulub sinu .gitignore-faili.

Kindral

Muster Mida see ignoreerib
.*.aux Kindral
.*.d Kindral
*.a Staatiline raamatukogu
*.cma Kindral
*.cmi Kindral
*.cmo Kindral
*.cmx Kindral
*.cmxa Kindral
*.cmxs Kindral
*.glob Kindral
*.ml.d Kindral
*.ml4.d Kindral
*.mlg.d Kindral
*.mli.d Kindral
*.mllib.d Kindral
*.mlpack.d Kindral
*.native Kindral
*.o Objekti fail
*.v.d Kindral
*.vio Kindral
*.vo Kindral
*.vok Kindral
*.vos Kindral
.coq-native Kindral
.csdp.cache Kindral
.lia.cache Kindral
.nia.cache Kindral
.nlia.cache Kindral
.nra.cache Kindral
csdp.cache Kindral
lia.cache Kindral
nia.cache Kindral
nlia.cache Kindral
nra.cache Kindral
native_compute_profile_*.data Kindral
*.timing.diff loodud ajastusfailid
*.v.after-timing Kindral
*.v.before-timing Kindral
*.v.timing Kindral
time-of-build-after.log Kindral
time-of-build-before.log Kindral
time-of-build-both.log Kindral
time-of-build-pretty.log Kindral

Kuidas seda .gitignore kasutada Coq jaoks

  1. Kopeerige ülaltoodud Coq reeglid või laadige fail otse alla.
  2. Looge oma Git hoidla juurtes fail nimega .gitignore ja kleepige reeglid sinna.
  3. Kui Git juba jälgib mõnda neist failidest, käivita git rm -r --cached . ja tee uus commit — Git rakendab eiramisreegleid ainult jälgimata failidele.
  4. Lisa .gitignore commit’i, et kogu meeskond kasutaks samu reegleid.

Muud Keel .gitignore mallid

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

Vaadake iga Keel malli