.gitignore за Lean
1 правило за игнориране за Lean, готово за копиране в хранилището ви.
Функционален език и интерактивна система за доказване на теореми
Пълният .gitignore за Lean
# Генерирано от LFGitignore — https://lfgitignore.com
# Създадено: 2026-10-13 16:13:45 UTC
# Технологии: Lean
### Lean ###
# Кеш и артефакти от компилиране на Lean Lake
.lake/
Какво всъщност игнорират тези правила за Lean
Всички шаблони по-долу и защо са необходими във вашия .gitignore.
Общи
| Шаблон | Какво игнорира |
|---|---|
.lake/ |
Кеш и артефакти от компилиране на Lean Lake |
Как да използвате този .gitignore за Lean
- Копирайте правилата за Lean по-горе или изтеглете файла директно.
- Създайте файл с име .gitignore в основната директория на Git хранилището си и поставете правилата в него.
- Ако някои от тези файлове вече се следят, изпълнете git rm -r --cached . и създайте нов комит — Git прилага правилата за игнориране само към неследени файлове.
- Добавете .gitignore в комит, за да използва целият екип едни и същи правила.