.gitignore per a Idris
4 regles d’exclusió de Idris, llestes per copiar al repositori.
Llengua mecanografiada depenent
El .gitignore complet per a Idris
# Generat per LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 21:51:44 UTC
# Tecnologies: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Fitxer objecte
*.o
El que aquestes regles Idris ignoren realment
Cada patró a continuació i per què pertany al vostre .gitignore.
Idris 2
| Patró | El que ignora |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Patró | El que ignora |
|---|---|
*.ibc |
Idris 1 |
*.o |
Fitxer objecte |
Com utilitzar aquest .gitignore per a Idris
- Copieu les regles Idris anteriors o descarregueu el fitxer directament.
- Creeu un fitxer anomenat .gitignore a l'arrel del vostre repositori Git i enganxeu-hi les regles.
- Si alguns d’aquests fitxers ja tenen seguiment, executeu git rm -r --cached . i torneu a confirmar els canvis: Git només aplica les regles d’exclusió als fitxers sense seguiment.
- Confirmeu el fitxer .gitignore perquè tot l’equip comparteixi les mateixes regles.