.gitignore za Lean
1 pravilo izuzimanja za Lean, spremno za kopiranje u repozitorij.
Funkcijski jezik i interaktivni dokazivač teorema
Potpuni .gitignore za Lean
# Generirano uz LFGitignore - https://lfgitignore.com
# Stvoreno: 2026-10-13 16:11:32 UTC
# Tehnologije: Lean
### Lean ###
# Predmemorija i rezultati izgradnje Lean Lakea
.lake/
Što ova pravila za Lean zapravo zanemaruju
Svaki obrazac u nastavku i razlog zašto pripada vašoj datoteci .gitignore.
Općenito
| Obrazac | Što zanemaruje |
|---|---|
.lake/ |
Predmemorija i rezultati izgradnje Lean Lakea |
Kako koristiti ovaj .gitignore za Lean
- Kopirajte pravila za Lean iznad ili izravno preuzmite datoteku.
- U korijenu svojeg Git repozitorija stvorite datoteku naziva .gitignore i zalijepite pravila u nju.
- Ako se neke od tih datoteka već prate, pokrenite git rm -r --cached . pa ponovno predajte promjene — Git primjenjuje pravila izuzimanja samo na datoteke koje ne prati.
- Predajte .gitignore kako bi svi u timu koristili ista pravila.