.gitignore pentru Agda
2 reguli de ignorare pentru Agda, gata de copiat în depozitul dvs.
Limbajul funcțional tipizat în funcție
.gitignore complet pentru Agda
# Generat de LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 21:52:09 UTC
# Tehnologii: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Ce ignoră regulile pentru Agda
Fiecare model de mai jos și motivul pentru care se află în .gitignore.
Generalități
| Model de fișier | Ce ignoră |
|---|---|
*.agdai |
Generalități |
**/MAlonzo/** |
Generalități |
Cum să utilizați acest .gitignore pentru Agda
- Copiați regulile Agda de mai sus sau descărcați fișierul direct.
- Creați un fișier numit .gitignore la rădăcina depozitului dvs. Git și inserați regulile în el.
- Dacă unele fișiere sunt deja urmărite, rulați git rm -r --cached . și apoi faceți din nou commit — Git aplică regulile de ignorare numai fișierelor neurmărite.
- Faceți commit pentru .gitignore, astfel încât întreaga echipă să folosească aceleași reguli.