.gitignore pro Agda
2 pravidla ignorování pro Agda, připravená ke zkopírování do repozitáře.
Funkcionální jazyk se závislými typy
Kompletní .gitignore pro Agda
# Vygenerováno pomocí LFGitignore - https://lfgitignore.com
# Vytvořeno: 2026-10-13 16:12:32 UTC
# Technologie: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Co pravidla pro Agda skutečně ignorují
Každý vzor níže má vysvětlení, proč patří do vašeho .gitignore.
Obecné
| Vzor | Co ignoruje |
|---|---|
*.agdai |
Obecné |
**/MAlonzo/** |
Obecné |
Jak používat tento .gitignore pro Agda
- Zkopírujte výše uvedená pravidla pro Agda 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.