.gitignore pre Lean
1 pravidlo ignorovania pre Lean, pripravené na skopírovanie do repozitára.
Funkcionálny jazyk a interaktívny dokazovač viet
Kompletný .gitignore pre Lean
# Vygenerované pomocou LFGitignore - https://lfgitignore.com
# Vytvorené: 2026-10-13 16:13:06 UTC
# Technológie: Lean
### Lean ###
# Vyrovnávacia pamäť a výsledky zostavovania Lean Lake
.lake/
Čo tieto pravidlá pre Lean skutočne ignorujú
Všetky vzory nižšie aj s vysvetlením, prečo patria do vášho .gitignore.
Všeobecné
| Vzor | Čo ignoruje |
|---|---|
.lake/ |
Vyrovnávacia pamäť a výsledky zostavovania Lean Lake |
Ako používať tento .gitignore pre Lean
- Skopírujte pravidlá pre Lean vyššie alebo si súbor priamo stiahnite.
- V koreňovom adresári repozitára Git vytvorte súbor s názvom .gitignore a vložte doň pravidlá.
- Ak sa niektoré súbory už sledujú, spustite git rm -r --cached . a vytvorte nový commit — Git uplatňuje pravidlá ignorovania iba na nesledované súbory.
- Pridajte .gitignore do commitu, aby celý tím zdieľal rovnaké pravidlá.