.gitignore za Agda
2 pravili za prezrtje za Agda, pripravljeni za kopiranje v skladišče.
Odvisno tipiziran funkcionalni jezik
Popoln .gitignore za Agda
# Ustvaril LFGitignore - https://lfgitignore.com
# Ustvarjeno: 2026-10-31 22:57:52 UTC
# Tehnologije: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Kaj pravila za Agda dejansko prezrejo
Vsak spodnji vzorec in zakaj sodi v vaš .gitignore.
Splošno
| Vzorec | Kaj pravilo prezre |
|---|---|
*.agdai |
Splošno |
**/MAlonzo/** |
Splošno |
Kako uporabljati ta .gitignore za Agda
- Kopirajte zgornja pravila Agda ali neposredno prenesite datoteko.
- Ustvarite datoteko z imenom .gitignore v korenu svojega skladišča Git in vanjo prilepite pravila.
- Če se nekaterim od teh datotek že sledi, zaženite git rm -r --cached . in nato ponovno potrdite — Git uporablja pravila prezrtja samo za datoteke, ki jim ni sledi.
- Potrdite datoteko .gitignore, da bo vsa ekipa uporabljala enaka pravila.