.gitignore pro Lean
1 pravidlo ignorování pro Lean, připravené ke zkopírování do repozitáře.
Funkcionální jazyk a interaktivní dokazovací systém
Kompletní .gitignore pro Lean
# Vygenerováno pomocí LFGitignore - https://lfgitignore.com
# Vytvořeno: 2026-10-13 16:11:58 UTC
# Technologie: Lean
### Lean ###
# Mezipaměť sestavení a artefakty Lean Lake
.lake/
Co pravidla pro Lean skutečně ignorují
Každý vzor níže má vysvětlení, proč patří do vašeho .gitignore.
Obecné
| Vzor | Co ignoruje |
|---|---|
.lake/ |
Mezipaměť sestavení a artefakty Lean Lake |
Jak používat tento .gitignore pro Lean
- Zkopírujte výše uvedená pravidla pro Lean 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.