.gitignore Lean jaoks
1 tehnoloogia Lean eiramisreegel, mida saad oma hoidlasse kopeerida.
Funktsionaalne keel ja interaktiivne teoreemi tõestaja
Täielik .gitignore Lean jaoks
# Genereeritud LFGitignore - https://lfgitignore.com
# Loodud: 2026-10-31 22:51:22 UTC
# Tehnoloogiad: Lean
### Lean ###
# Lean Lake vahemälu ja artefaktid
.lake/
Mida need Lean reeglid tegelikult ignoreerivad
Iga allolev muster ja selgitus, miks see kuulub sinu .gitignore-faili.
Kindral
| Muster | Mida see ignoreerib |
|---|---|
.lake/ |
Lean Lake vahemälu ja artefaktid |
Kuidas seda .gitignore kasutada Lean jaoks
- Kopeerige ülaltoodud Lean reeglid või laadige fail otse alla.
- Looge oma Git hoidla juurtes fail nimega .gitignore ja kleepige reeglid sinna.
- Kui Git juba jälgib mõnda neist failidest, käivita git rm -r --cached . ja tee uus commit — Git rakendab eiramisreegleid ainult jälgimata failidele.
- Lisa .gitignore commit’i, et kogu meeskond kasutaks samu reegleid.