.gitignore für Idris
4 Ausschlussregeln für Idris, die du direkt in dein Repository übernehmen kannst.
Sprache mit abhängigen Typen
Die vollständige .gitignore für Idris
# Erstellt von LFGitignore - https://lfgitignore.com
# Erstellt: 2026-10-13 16:13:10 UTC
# Technologien: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektdatei
*.o
Was diese Regeln für Idris ausschließen
Alle Muster im Überblick – und warum sie in deine .gitignore gehören.
Idris 2
| Muster | Ausgeschlossene Dateien |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Muster | Ausgeschlossene Dateien |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektdatei |
So verwendest du diese .gitignore für Idris
- Kopiere die Regeln für Idris oben oder lade die Datei direkt herunter.
- Erstelle im Stammverzeichnis deines Git-Repositorys eine Datei namens .gitignore und füge die Regeln ein.
- Falls Git einige dieser Dateien bereits erfasst, führe git rm -r --cached . aus und erstelle einen neuen Commit – Git wendet Ausschlussregeln nur auf nicht erfasste Dateien an.
- Committe die .gitignore, damit alle im Team dieselben Regeln verwenden.