.gitignore pour Idris
4 règles d’exclusion pour Idris, prêtes à copier dans votre dépôt.
Langage à types dépendants
Le .gitignore complet pour Idris
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-08-05 02:28:01 UTC
# Technologies: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Object file
*.o
Ce que ces règles Idris ignorent vraiment
Chaque motif ci-dessous, et pourquoi il a sa place dans votre .gitignore.
Idris 2
| Motif | Ce qu’il ignore |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Motif | Ce qu’il ignore |
|---|---|
*.ibc |
Idris 1 |
*.o |
Object file |
Comment utiliser ce .gitignore pour Idris
- Copiez les règles Idris ci-dessus, ou téléchargez directement le fichier.
- Créez un fichier nommé .gitignore à la racine de votre dépôt Git et collez-y les règles.
- Si certains de ces fichiers sont déjà suivis, lancez git rm -r --cached . puis recommitez — Git n’applique les règles d’exclusion qu’aux fichiers non suivis.
- Commitez le .gitignore pour que toute l’équipe partage les mêmes règles.