.gitignore für Agda
2 Ausschlussregeln für Agda, die du direkt in dein Repository übernehmen kannst.
Funktionale Sprache mit abhängigen Typen
Die vollständige .gitignore für Agda
# Erstellt von LFGitignore - https://lfgitignore.com
# Erstellt: 2026-10-13 16:10:26 UTC
# Technologien: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Was diese Regeln für Agda ausschließen
Alle Muster im Überblick – und warum sie in deine .gitignore gehören.
Allgemein
| Muster | Ausgeschlossene Dateien |
|---|---|
*.agdai |
Allgemein |
**/MAlonzo/** |
Allgemein |
So verwendest du diese .gitignore für Agda
- Kopiere die Regeln für Agda 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.