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