.gitignore för Idris
4 ignoreringsregler för Idris, redo att kopieras till ditt repo.
Språk med beroende typer
Den kompletta .gitignore-filen för Idris
# Genererad av LFGitignore - https://lfgitignore.com
# Skapad: 2026-10-13 15:52:24 UTC
# Tekniker: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektfil
*.o
Vad reglerna för Idris faktiskt ignorerar
Alla mönster nedan och varför de hör hemma i din .gitignore.
Idris 2
| Mönster | Vad det ignorerar |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Mönster | Vad det ignorerar |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektfil |
Så använder du denna .gitignore för Idris
- Kopiera reglerna för Idris ovan eller ladda ner filen direkt.
- Skapa en fil med namnet .gitignore i roten av ditt Git-repo och klistra in reglerna.
- Om några av filerna redan spåras, kör git rm -r --cached . och gör sedan en ny commit — Git tillämpar bara ignoreringsregler på ospårade filer.
- Checka in .gitignore så att alla i teamet delar samma regler.