.gitignore til Lean
1 ignorer regel for Lean, klar til at kopiere til dit lager.
Funktionelt sprog og interaktiv sætningsbeviser
Den komplette .gitignore til Lean
# Genereret af LFGitignore - https://lfgitignore.com
# Oprettet: 2026-10-31 22:52:55 UTC
# Teknologier: Lean
### Lean ###
# Lean Lake build cache og artefakter
.lake/
Hvad disse Lean regler faktisk ignorerer
Hvert mønster nedenfor, og hvorfor det hører hjemme i din .gitignore.
Generel
| Mønster | Hvad den ignorerer |
|---|---|
.lake/ |
Lean Lake build cache og artefakter |
Sådan bruger du denne .gitignore til Lean
- Kopier Lean reglerne ovenfor, eller download filen direkte.
- Opret en fil med navnet .gitignore i roden af dit Git-lager og indsæt reglerne i det.
- Hvis nogle af disse filer allerede er sporet, så kør git rm -r --cached . og commit igen - Git anvender kun ignoreringsregler på usporede filer.
- Brug .gitignore, så alle på holdet deler de samme regler.