.gitignore fyrir Lean
1 hunsa reglu fyrir Lean, tilbúinn til að afrita í geymsluna þína.
Hagnýtt tungumál og gagnvirkt setningarpróf
Heildar .gitignore fyrir Lean
# Myndað af LFGitignore - https://lfgitignore.com
# Búið til: 2026-10-31 22:51:57 UTC
# Tækni: Lean
### Lean ###
# Lean Lake smíði skyndiminni og gripir
.lake/
Það sem þessar Lean reglur hunsa í raun og veru
Hvert mynstur hér að neðan er útskýrt ásamt ástæðu þess að það á heima í .gitignore skránni þinni.
Almennt
| Mynstur | Það sem það hunsar |
|---|---|
.lake/ |
Lean Lake smíði skyndiminni og gripir |
Hvernig á að nota þetta .gitignore fyrir Lean
- Afritaðu Lean reglurnar hér að ofan, eða halaðu niður skránni beint.
- Búðu til skrá sem heitir .gitignore í rót Git geymslunnar þinnar og límdu reglurnar inn í hana.
- Ef Git rekur nú þegar einhverjar þessara skráa skaltu keyra git rm -r --cached . og búa síðan til nýtt commit. Git beitir hunsunarreglum aðeins á skrár sem það rekur ekki.
- Settu .gitignore skrána í commit svo allir í teyminu noti sömu reglur.