.gitignore for Idris
4 ignoreringsregler for Idris, klare til å kopieres inn i kodelageret ditt.
Språk med avhengige typer
Den komplette .gitignore-filen for Idris
# Generert av LFGitignore - https://lfgitignore.com
# Opprettet: 2026-10-13 15:52:50 UTC
# Teknologier: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektfil
*.o
Hva disse Idris-reglene faktisk ignorerer
Alle mønstrene nedenfor, og hvorfor de hører hjemme i .gitignore-filen din.
Idris 2
| Mønster | Hva det ignorerer |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Mønster | Hva det ignorerer |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektfil |
Slik bruker du denne .gitignore-filen for Idris
- Kopier Idris-reglene ovenfor, eller last ned filen direkte.
- Opprett en fil som heter .gitignore i roten av Git-kodelageret ditt, og lim inn reglene.
- Hvis noen av disse filene allerede spores, kjører du git rm -r --cached . og sjekker inn på nytt — Git bruker bare ignoreringsregler på filer som ikke spores.
- Sjekk inn .gitignore slik at alle på teamet deler de samme reglene.