.gitignore voor Lean
1 negeerregel voor Lean, klaar om naar je repository te kopiëren.
Functionele taal en interactieve stellingbewijzer
De volledige .gitignore voor Lean
# Gegenereerd door LFGitignore - https://lfgitignore.com
# Aangemaakt: 2026-10-13 16:11:35 UTC
# Technologieën: Lean
### Lean ###
# Buildcache en artefacten van Lean Lake
.lake/
Wat deze regels voor Lean precies negeren
Hieronder vind je elk patroon met uitleg waarom het in je .gitignore thuishoort.
Algemeen
| Patroon | Wat wordt genegeerd |
|---|---|
.lake/ |
Buildcache en artefacten van Lean Lake |
Zo gebruik je deze .gitignore voor Lean
- Kopieer de bovenstaande regels voor Lean of download het bestand direct.
- Maak een bestand met de naam .gitignore in de hoofdmap van je Git-repository en plak de regels erin.
- Als Git sommige van deze bestanden al bijhoudt, voer dan git rm -r --cached . uit en maak een nieuwe commit. Git past negeerregels alleen toe op bestanden die nog niet worden bijgehouden.
- Commit de .gitignore, zodat iedereen in het team dezelfde regels gebruikt.