.gitignore priekš Coq

43 ignorē Coq noteikumus, kas ir gatavi kopēšanai jūsu repozitorijā.

Oficiālā pierādīšanas palīgs

Lejupielādēt .gitignore Apvienojiet Coq ar citām tehnoloģijām

Pilnīgs .gitignore priekš Coq

# Ģenerē LFGitignore - https://lfgitignore.com
# Izveidots: 2026-10-31 22:59:36 UTC
# Tehnoloģijas: Coq

### Coq ###
.*.aux
.*.d
# Statiskā bibliotēka
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Objekta fails
*.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

Ko šie Coq noteikumi faktiski ignorē

Katrs turpmāk minētais raksts un skaidrojums, kāpēc tas jāiekļauj .gitignore failā.

Ģenerālis

Raksts	Ko tas ignorē
`.*.aux`	Ģenerālis
`.*.d`	Ģenerālis
`*.a`	Statiskā bibliotēka
`*.cma`	Ģenerālis
`*.cmi`	Ģenerālis
`*.cmo`	Ģenerālis
`*.cmx`	Ģenerālis
`*.cmxa`	Ģenerālis
`*.cmxs`	Ģenerālis
`*.glob`	Ģenerālis
`*.ml.d`	Ģenerālis
`*.ml4.d`	Ģenerālis
`*.mlg.d`	Ģenerālis
`*.mli.d`	Ģenerālis
`*.mllib.d`	Ģenerālis
`*.mlpack.d`	Ģenerālis
`*.native`	Ģenerālis
`*.o`	Objekta fails
`*.v.d`	Ģenerālis
`*.vio`	Ģenerālis
`*.vo`	Ģenerālis
`*.vok`	Ģenerālis
`*.vos`	Ģenerālis
`.coq-native`	Ģenerālis
`.csdp.cache`	Ģenerālis
`.lia.cache`	Ģenerālis
`.nia.cache`	Ģenerālis
`.nlia.cache`	Ģenerālis
`.nra.cache`	Ģenerālis
`csdp.cache`	Ģenerālis
`lia.cache`	Ģenerālis
`nia.cache`	Ģenerālis
`nlia.cache`	Ģenerālis
`nra.cache`	Ģenerālis
`native_compute_profile_*.data`	Ģenerālis
`*.timing.diff`	ģenerētie laika faili
`*.v.after-timing`	Ģenerālis
`*.v.before-timing`	Ģenerālis
`*.v.timing`	Ģenerālis
`time-of-build-after.log`	Ģenerālis
`time-of-build-before.log`	Ģenerālis
`time-of-build-both.log`	Ģenerālis
`time-of-build-pretty.log`	Ģenerālis

Kā lietot šo .gitignore failu tehnoloģijai Coq

Kopējiet iepriekš minētos Coq noteikumus vai lejupielādējiet failu tieši.
Git repozitorija saknē izveidojiet failu ar nosaukumu .gitignore un ielīmējiet tajā noteikumus.
Ja daži no šiem failiem jau ir izsekoti, palaidiet git rm -r --cached . un pēc tam veiciet vēlreiz — Git ignorēšanas noteikumus piemēro tikai neizsekotajiem failiem.
Iekļaujiet .gitignore failu komitā, lai visai komandai būtu vienādi noteikumi.

Citas Valoda .gitignore veidnes

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

Skatiet katru Valoda veidni