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