Ludovic Frank Gitignore

.gitignore fyrir Coq

43 hunsa reglur fyrir Coq, tilbúinn til að afrita inn í geymsluna þína.

Formlegur sönnunaraðstoðarmaður

Sækja .gitignore Sameina Coq við aðra tækni

Heildar .gitignore fyrir Coq 

# Myndað af LFGitignore - https://lfgitignore.com
# Búið til: 2026-10-31 22:59:01 UTC
# Tækni: Coq

### Coq ###
.*.aux
.*.d
# Statískt bókasafn
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Hlutaskrá
*.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

Það sem þessar Coq reglur hunsa í raun og veru

Hvert mynstur hér að neðan er útskýrt ásamt ástæðu þess að það á heima í .gitignore skránni þinni.

Almennt

Mynstur Það sem það hunsar
.*.aux Almennt
.*.d Almennt
*.a Statískt bókasafn
*.cma Almennt
*.cmi Almennt
*.cmo Almennt
*.cmx Almennt
*.cmxa Almennt
*.cmxs Almennt
*.glob Almennt
*.ml.d Almennt
*.ml4.d Almennt
*.mlg.d Almennt
*.mli.d Almennt
*.mllib.d Almennt
*.mlpack.d Almennt
*.native Almennt
*.o Hlutaskrá
*.v.d Almennt
*.vio Almennt
*.vo Almennt
*.vok Almennt
*.vos Almennt
.coq-native Almennt
.csdp.cache Almennt
.lia.cache Almennt
.nia.cache Almennt
.nlia.cache Almennt
.nra.cache Almennt
csdp.cache Almennt
lia.cache Almennt
nia.cache Almennt
nlia.cache Almennt
nra.cache Almennt
native_compute_profile_*.data Almennt
*.timing.diff mynda tímasetningarskrár
*.v.after-timing Almennt
*.v.before-timing Almennt
*.v.timing Almennt
time-of-build-after.log Almennt
time-of-build-before.log Almennt
time-of-build-both.log Almennt
time-of-build-pretty.log Almennt

Hvernig á að nota þetta .gitignore fyrir Coq

  1. Afritaðu Coq reglurnar hér að ofan, eða halaðu niður skránni beint.
  2. Búðu til skrá sem heitir .gitignore í rót Git geymslunnar þinnar og límdu reglurnar inn í hana.
  3. Ef Git rekur nú þegar einhverjar þessara skráa skaltu keyra git rm -r --cached . og búa síðan til nýtt commit. Git beitir hunsunarreglum aðeins á skrár sem það rekur ekki.
  4. Settu .gitignore skrána í commit svo allir í teyminu noti sömu reglur.

Önnur Tungumál .gitignore sniðmát

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

Sjáðu hvert Tungumál sniðmát