.gitignore para Idris
4 regras de exclusão para Idris, prontas a copiar para o seu repositório.
Linguagem com tipos dependentes
O .gitignore completo para Idris
# Gerado pelo LFGitignore - https://lfgitignore.com
# Criado: 2026-10-13 15:51:47 UTC
# Tecnologias: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Ficheiro objeto
*.o
O que estas regras de Idris ignoram
Veja abaixo cada padrão e a razão para o incluir no seu .gitignore.
Idris 2
| Padrão | O que ignora |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Padrão | O que ignora |
|---|---|
*.ibc |
Idris 1 |
*.o |
Ficheiro objeto |
Como utilizar este .gitignore para Idris
- Copie as regras de Idris acima ou descarregue o ficheiro diretamente.
- Crie um ficheiro com o nome .gitignore na raiz do seu repositório Git e cole nele as regras.
- Se o Git já acompanhar alguns desses ficheiros, execute git rm -r --cached . e faça um novo commit: o Git só aplica regras de exclusão aos ficheiros que ainda não acompanha.
- Faça commit do .gitignore para que toda a equipa utilize as mesmas regras.