.gitignore για Coq

43 κανόνες παράβλεψης για Coq, έτοιμοι για αντιγραφή στο αποθετήριό σας.

Επίσημος βοηθός απόδειξης

Κατεβάστε το .gitignore Συνδυάστε το Coq με άλλες τεχνολογίες

Το πλήρες .gitignore για Coq

# Δημιουργήθηκε από LFGitignore - https://lfgitignore.com
# Δημιουργήθηκε: 2026-10-31 22:59:19 UTC
# Τεχνολογίες: Coq

### Coq ###
.*.aux
.*.d
# Στατική βιβλιοθήκη
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Αρχείο αντικειμένου
*.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

Τι ακριβώς αγνοούν αυτοί οι κανόνες για Coq

Κάθε παρακάτω μοτίβο και ο λόγος που ανήκει στο .gitignore σας.

Γενικός

Μοτίβο	Τι αγνοεί
`.*.aux`	Γενικός
`.*.d`	Γενικός
`*.a`	Στατική βιβλιοθήκη
`*.cma`	Γενικός
`*.cmi`	Γενικός
`*.cmo`	Γενικός
`*.cmx`	Γενικός
`*.cmxa`	Γενικός
`*.cmxs`	Γενικός
`*.glob`	Γενικός
`*.ml.d`	Γενικός
`*.ml4.d`	Γενικός
`*.mlg.d`	Γενικός
`*.mli.d`	Γενικός
`*.mllib.d`	Γενικός
`*.mlpack.d`	Γενικός
`*.native`	Γενικός
`*.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`	Γενικός

Πώς να χρησιμοποιήσετε αυτό το .gitignore για το Coq

Αντιγράψτε τους παραπάνω κανόνες Coq ή κατεβάστε απευθείας το αρχείο.
Δημιουργήστε ένα αρχείο με το όνομα .gitignore στη ρίζα του αποθετηρίου Git και επικολλήστε τους κανόνες σε αυτό.
Εάν ορισμένα από αυτά τα αρχεία παρακολουθούνται ήδη, εκτελέστε το git rm -r --cached . και, στη συνέχεια, δεσμεύστε ξανά — Το Git εφαρμόζει κανόνες παράβλεψης μόνο σε αρχεία που δεν έχουν παρακολουθηθεί.
Κάντε commit το .gitignore, ώστε όλη η ομάδα να χρησιμοποιεί τους ίδιους κανόνες.

Άλλα πρότυπα Γλώσσα .gitignore

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

Δείτε κάθε πρότυπο Γλώσσα