.gitignore per Idris
4 regole di esclusione per Idris, pronte da copiare nel repository.
Linguaggio con tipi dipendenti
Il .gitignore completo per Idris
# Generato da LFGitignore - https://lfgitignore.com
# Creato: 2026-10-13 15:51:44 UTC
# Tecnologie: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# File oggetto
*.o
Cosa escludono le regole di Idris
Tutti i pattern e i motivi per includerli nel tuo .gitignore.
Idris 2
| Schema di esclusione | Cosa esclude |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Schema di esclusione | Cosa esclude |
|---|---|
*.ibc |
Idris 1 |
*.o |
File oggetto |
Come usare questo .gitignore per Idris
- Copia le regole di Idris qui sopra oppure scarica direttamente il file.
- Crea un file chiamato .gitignore nella radice del repository Git e incolla le regole al suo interno.
- Se Git tiene già traccia di alcuni di questi file, esegui git rm -r --cached . e crea un nuovo commit: Git applica le regole di esclusione solo ai file non tracciati.
- Includi .gitignore in un commit affinché tutto il team condivida le stesse regole.