.gitignore Coq-hez
A 43 figyelmen kívül hagyja a Coq szabályait, készen áll a tárba másolásra.
Formális bizonyítási asszisztens
A teljes .gitignore a Coq-hez
# Generálta: LFGitignore - https://lfgitignore.com
# Létrehozva: 2026-10-31 21:53:50 UTC
# Technológiák: Coq
### Coq ###
.*.aux
.*.d
# Statikus könyvtár
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Objektumfájl
*.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
Amit ezek a Coq szabályok valójában figyelmen kívül hagynak
Minden alábbi minta, és miért tartozik a .gitignore.-hez
Általános
| Minta | Mit hagy figyelmen kívül |
|---|---|
.*.aux |
Általános |
.*.d |
Általános |
*.a |
Statikus könyvtár |
*.cma |
Általános |
*.cmi |
Általános |
*.cmo |
Általános |
*.cmx |
Általános |
*.cmxa |
Általános |
*.cmxs |
Általános |
*.glob |
Általános |
*.ml.d |
Általános |
*.ml4.d |
Általános |
*.mlg.d |
Általános |
*.mli.d |
Általános |
*.mllib.d |
Általános |
*.mlpack.d |
Általános |
*.native |
Általános |
*.o |
Objektumfájl |
*.v.d |
Általános |
*.vio |
Általános |
*.vo |
Általános |
*.vok |
Általános |
*.vos |
Általános |
.coq-native |
Általános |
.csdp.cache |
Általános |
.lia.cache |
Általános |
.nia.cache |
Általános |
.nlia.cache |
Általános |
.nra.cache |
Általános |
csdp.cache |
Általános |
lia.cache |
Általános |
nia.cache |
Általános |
nlia.cache |
Általános |
nra.cache |
Általános |
native_compute_profile_*.data |
Általános |
*.timing.diff |
generált időzítő fájlok |
*.v.after-timing |
Általános |
*.v.before-timing |
Általános |
*.v.timing |
Általános |
time-of-build-after.log |
Általános |
time-of-build-before.log |
Általános |
time-of-build-both.log |
Általános |
time-of-build-pretty.log |
Általános |
A .gitignore használata a Coq-hez
- Másolja ki a fenti Coq szabályokat, vagy töltse le közvetlenül a fájlt.
- Hozz létre egy .gitignore nevű fájlt a Git-tároló gyökérkönyvtárában, majd illeszd be a szabályokat.
- Ha ezen fájlok némelyike már nyomon van követve, futtassa a git rm -r --cached . programot, majd véglegesítse újra – a Git csak a nem követett fájlokra alkalmaz figyelmen kívül hagyási szabályokat.
- Kötelesd be a .gitignore-t, hogy a csapatban mindenki ugyanazokat a szabályokat alkalmazza.