.gitignore för Lean
1 ignoreringsregel för Lean, redo att kopieras till ditt repo.
Funktionellt språk och interaktiv bevisassistent
Den kompletta .gitignore-filen för Lean
# Genererad av LFGitignore - https://lfgitignore.com
# Skapad: 2026-10-13 16:12:23 UTC
# Tekniker: Lean
### Lean ###
# Lean Lake-byggcache och artefakter
.lake/
Vad reglerna för Lean faktiskt ignorerar
Alla mönster nedan och varför de hör hemma i din .gitignore.
Allmänt
| Mönster | Vad det ignorerar |
|---|---|
.lake/ |
Lean Lake-byggcache och artefakter |
Så använder du denna .gitignore för Lean
- Kopiera reglerna för Lean ovan eller ladda ner filen direkt.
- Skapa en fil med namnet .gitignore i roten av ditt Git-repo och klistra in reglerna.
- Om några av filerna redan spåras, kör git rm -r --cached . och gör sedan en ny commit — Git tillämpar bara ignoreringsregler på ospårade filer.
- Checka in .gitignore så att alla i teamet delar samma regler.