.gitignore Agda jaoks
2 tehnoloogia Agda eiramisreeglit, mida saad oma hoidlasse kopeerida.
Sõltuvate tüüpidega funktsionaalne programmeerimiskeel
Täielik .gitignore Agda jaoks
# Genereeritud LFGitignore - https://lfgitignore.com
# Loodud: 2026-10-31 22:59:48 UTC
# Tehnoloogiad: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Mida need Agda reeglid tegelikult ignoreerivad
Iga allolev muster ja selgitus, miks see kuulub sinu .gitignore-faili.
Kindral
| Muster | Mida see ignoreerib |
|---|---|
*.agdai |
Kindral |
**/MAlonzo/** |
Kindral |
Kuidas seda .gitignore kasutada Agda jaoks
- Kopeerige ülaltoodud Agda reeglid või laadige fail otse alla.
- Looge oma Git hoidla juurtes fail nimega .gitignore ja kleepige reeglid sinna.
- Kui Git juba jälgib mõnda neist failidest, käivita git rm -r --cached . ja tee uus commit — Git rakendab eiramisreegleid ainult jälgimata failidele.
- Lisa .gitignore commit’i, et kogu meeskond kasutaks samu reegleid.