.gitignore voor Idris
4 negeerregels voor Idris, klaar om naar je repository te kopiëren.
Taal met afhankelijke typen
De volledige .gitignore voor Idris
# Gegenereerd door LFGitignore - https://lfgitignore.com
# Aangemaakt: 2026-10-13 15:51:37 UTC
# Technologieën: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objectbestand
*.o
Wat deze regels voor Idris precies negeren
Hieronder vind je elk patroon met uitleg waarom het in je .gitignore thuishoort.
Idris 2
| Patroon | Wat wordt genegeerd |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Patroon | Wat wordt genegeerd |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objectbestand |
Zo gebruik je deze .gitignore voor Idris
- Kopieer de bovenstaande regels voor Idris of download het bestand direct.
- Maak een bestand met de naam .gitignore in de hoofdmap van je Git-repository en plak de regels erin.
- Als Git sommige van deze bestanden al bijhoudt, voer dan git rm -r --cached . uit en maak een nieuwe commit. Git past negeerregels alleen toe op bestanden die nog niet worden bijgehouden.
- Commit de .gitignore, zodat iedereen in het team dezelfde regels gebruikt.