.gitignore για HOL
7 κανόνες παράβλεψης για HOL, έτοιμοι για αντιγραφή στο αποθετήριό σας.
Διαδραστικό θεώρημα για λογική ανώτερης τάξης
Το πλήρες .gitignore για HOL
# Δημιουργήθηκε από LFGitignore - https://lfgitignore.com
# Δημιουργήθηκε: 2026-10-31 22:58:12 UTC
# Τεχνολογίες: HOL
### HOL ###
*Script
# Υπογραφή θεωρίας που δημιουργήθηκε από τον Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Βοηθητικός κατάλογος Holmake
.HOLMK
Τι ακριβώς αγνοούν αυτοί οι κανόνες για HOL
Κάθε παρακάτω μοτίβο και ο λόγος που ανήκει στο .gitignore σας.
Γενικός
| Μοτίβο | Τι αγνοεί |
|---|---|
*Script |
Γενικός |
Η Holmake δημιούργησε αρχεία
| Μοτίβο | Τι αγνοεί |
|---|---|
*Theory.sig |
Υπογραφή θεωρίας που δημιουργήθηκε από τον Holmake |
*Theory.sml |
Η Holmake δημιούργησε αρχεία |
*.uo |
Η Holmake δημιούργησε αρχεία |
*.ui |
Η Holmake δημιούργησε αρχεία |
Βοηθητικά αρχεία Holmake
| Μοτίβο | Τι αγνοεί |
|---|---|
.hollogs |
Βοηθητικά αρχεία Holmake |
.HOLMK |
Βοηθητικός κατάλογος Holmake |
Πώς να χρησιμοποιήσετε αυτό το .gitignore για το HOL
- Αντιγράψτε τους παραπάνω κανόνες HOL ή κατεβάστε απευθείας το αρχείο.
- Δημιουργήστε ένα αρχείο με το όνομα .gitignore στη ρίζα του αποθετηρίου Git και επικολλήστε τους κανόνες σε αυτό.
- Εάν ορισμένα από αυτά τα αρχεία παρακολουθούνται ήδη, εκτελέστε το git rm -r --cached . και, στη συνέχεια, δεσμεύστε ξανά — Το Git εφαρμόζει κανόνες παράβλεψης μόνο σε αρχεία που δεν έχουν παρακολουθηθεί.
- Κάντε commit το .gitignore, ώστε όλη η ομάδα να χρησιμοποιεί τους ίδιους κανόνες.