.gitignore fyrir Agda
2 hunsa reglur fyrir Agda, tilbúinn til að afrita inn í geymsluna þína.
Óháð vélritað hagnýtt tungumál
Heildar .gitignore fyrir Agda
# Myndað af LFGitignore - https://lfgitignore.com
# Búið til: 2026-10-31 22:59:56 UTC
# Tækni: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Það sem þessar Agda reglur hunsa í raun og veru
Hvert mynstur hér að neðan er útskýrt ásamt ástæðu þess að það á heima í .gitignore skránni þinni.
Almennt
| Mynstur | Það sem það hunsar |
|---|---|
*.agdai |
Almennt |
**/MAlonzo/** |
Almennt |
Hvernig á að nota þetta .gitignore fyrir Agda
- Afritaðu Agda reglurnar hér að ofan, eða halaðu niður skránni beint.
- Búðu til skrá sem heitir .gitignore í rót Git geymslunnar þinnar og límdu reglurnar inn í hana.
- Ef Git rekur nú þegar einhverjar þessara skráa skaltu keyra git rm -r --cached . og búa síðan til nýtt commit. Git beitir hunsunarreglum aðeins á skrár sem það rekur ekki.
- Settu .gitignore skrána í commit svo allir í teyminu noti sömu reglur.