.gitignore pro Idris
4 pravidla ignorování pro Idris, připravená ke zkopírování do repozitáře.
Jazyk se závislými typy
Kompletní .gitignore pro Idris
# Vygenerováno pomocí LFGitignore - https://lfgitignore.com
# Vytvořeno: 2026-10-13 15:52:01 UTC
# Technologie: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektový soubor
*.o
Co pravidla pro Idris skutečně ignorují
Každý vzor níže má vysvětlení, proč patří do vašeho .gitignore.
Idris 2
| Vzor | Co ignoruje |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Vzor | Co ignoruje |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektový soubor |
Jak používat tento .gitignore pro Idris
- Zkopírujte výše uvedená pravidla pro Idris nebo si soubor rovnou stáhněte.
- V kořenové složce svého Git repozitáře vytvořte soubor .gitignore a vložte do něj pravidla.
- Pokud už jsou některé z těchto souborů sledovány, spusťte git rm -r --cached . a pak znovu commitněte — Git uplatňuje pravidla ignorování pouze na nesledované soubory.
- Commitněte .gitignore, aby celý tým sdílel stejná pravidla.