.gitignore за Lean
1 правило игнорисања за Lean, спремно за копирање у репозиторијум.
Функционални језик и интерактивни доказивач теорема
Комплетан .gitignore за Lean
# Генерисао LFGitignore - https://lfgitignore.com
# Креирано: 2026-10-31 22:53:45 UTC
# Технологије: Lean
### Lean ###
# Lean Лаке изгради кеш меморију и артефакте
.lake/
Шта тачно игноришу ова правила за Lean
Сваки образац испод има објашњење зашто припада вашој датотеци .gitignore.
генерал
| Образац | Шта игнорише |
|---|---|
.lake/ |
Lean Лаке изгради кеш меморију и артефакте |
Како користити овај .gitignore за Lean
- Копирајте горенаведена правила Lean или директно преузмите датотеку.
- Направите датотеку под називом .gitignore у корену вашег Git спремишта и налепите правила у њу.
- Ако Git већ прати неке од тих датотека, покрените git rm -r --cached . па поново направите комит — правила игнорисања важе само за датотеке које Git не прати.
- Додајте .gitignore у комит како би цео тим користио иста правила.