.gitignore per a Lean
1 regla d’exclusió de Lean, llesta per copiar al repositori.
Llenguatge funcional i demostrador interactiu de teoremes
El .gitignore complet per a Lean
# Generat per LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 22:53:07 UTC
# Tecnologies: Lean
### Lean ###
# Lean Lake build cache i artefactes
.lake/
El que aquestes regles Lean ignoren realment
Cada patró a continuació i per què pertany al vostre .gitignore.
General
| Patró | El que ignora |
|---|---|
.lake/ |
Lean Lake build cache i artefactes |
Com utilitzar aquest .gitignore per a Lean
- Copieu les regles Lean anteriors o descarregueu el fitxer directament.
- Creeu un fitxer anomenat .gitignore a l'arrel del vostre repositori Git i enganxeu-hi les regles.
- Si alguns d’aquests fitxers ja tenen seguiment, executeu git rm -r --cached . i torneu a confirmar els canvis: Git només aplica les regles d’exclusió als fitxers sense seguiment.
- Confirmeu el fitxer .gitignore perquè tot l’equip comparteixi les mateixes regles.