.gitignore για Lean
1 κανόνας παράβλεψης για Lean, έτοιμος για αντιγραφή στο αποθετήριό σας.
Λειτουργική γλώσσα και διαδραστικό θεώρημα
Το πλήρες .gitignore για Lean
# Δημιουργήθηκε από LFGitignore - https://lfgitignore.com
# Δημιουργήθηκε: 2026-10-31 21:50:15 UTC
# Τεχνολογίες: Lean
### Lean ###
# Lean Λίμνη κατασκευής κρυφή μνήμη και αντικείμενα
.lake/
Τι ακριβώς αγνοούν αυτοί οι κανόνες για Lean
Κάθε παρακάτω μοτίβο και ο λόγος που ανήκει στο .gitignore σας.
Γενικός
| Μοτίβο | Τι αγνοεί |
|---|---|
.lake/ |
Lean Λίμνη κατασκευής κρυφή μνήμη και αντικείμενα |
Πώς να χρησιμοποιήσετε αυτό το .gitignore για το Lean
- Αντιγράψτε τους παραπάνω κανόνες Lean ή κατεβάστε απευθείας το αρχείο.
- Δημιουργήστε ένα αρχείο με το όνομα .gitignore στη ρίζα του αποθετηρίου Git και επικολλήστε τους κανόνες σε αυτό.
- Εάν ορισμένα από αυτά τα αρχεία παρακολουθούνται ήδη, εκτελέστε το git rm -r --cached . και, στη συνέχεια, δεσμεύστε ξανά — Το Git εφαρμόζει κανόνες παράβλεψης μόνο σε αρχεία που δεν έχουν παρακολουθηθεί.
- Κάντε commit το .gitignore, ώστε όλη η ομάδα να χρησιμοποιεί τους ίδιους κανόνες.