.gitignore fyrir Idris
4 hunsa reglur fyrir Idris, tilbúinn til að afrita inn í geymsluna þína.
Óháð vélritað tungumál
Heildar .gitignore fyrir Idris
# Myndað af LFGitignore - https://lfgitignore.com
# Búið til: 2026-10-31 21:52:41 UTC
# Tækni: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Hlutaskrá
*.o
Það sem þessar Idris 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.
Idris 2
| Mynstur | Það sem það hunsar |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Mynstur | Það sem það hunsar |
|---|---|
*.ibc |
Idris 1 |
*.o |
Hlutaskrá |
Hvernig á að nota þetta .gitignore fyrir Idris
- Afritaðu Idris 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.