.gitignore til Idris
4 ignorer regler for Idris, klar til at kopiere til dit lager.
Afhængigt skrevet sprog
Den komplette .gitignore til Idris
# Genereret af LFGitignore - https://lfgitignore.com
# Oprettet: 2026-10-31 22:58:35 UTC
# Teknologier: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objekt fil
*.o
Hvad disse Idris regler faktisk ignorerer
Hvert mønster nedenfor, og hvorfor det hører hjemme i din .gitignore.
Idris 2
| Mønster | Hvad den ignorerer |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Mønster | Hvad den ignorerer |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objekt fil |
Sådan bruger du denne .gitignore til Idris
- Kopier Idris reglerne ovenfor, eller download filen direkte.
- Opret en fil med navnet .gitignore i roden af dit Git-lager og indsæt reglerne i det.
- Hvis nogle af disse filer allerede er sporet, så kør git rm -r --cached . og commit igen - Git anvender kun ignoreringsregler på usporede filer.
- Brug .gitignore, så alle på holdet deler de samme regler.