.gitignore za Lean

1 pravilo za prezrtje za Lean, pripravljeno za kopiranje v skladišče.

Funkcionalni jezik in interaktivni dokazovalnik izrekov

Prenesite .gitignore Kombinirajte Lean z drugimi tehnologijami

Popoln .gitignore za Lean

# Ustvaril LFGitignore - https://lfgitignore.com
# Ustvarjeno: 2026-10-31 22:50:55 UTC
# Tehnologije: Lean

### Lean ###
# Lean Jezerski predpomnilnik gradnje in artefakti
.lake/

Kaj pravila za Lean dejansko prezrejo

Vsak spodnji vzorec in zakaj sodi v vaš .gitignore.

Splošno

Vzorec	Kaj pravilo prezre
`.lake/`	Lean Jezerski predpomnilnik gradnje in artefakti

Kako uporabljati ta .gitignore za Lean

Kopirajte zgornja pravila Lean ali neposredno prenesite datoteko.
Ustvarite datoteko z imenom .gitignore v korenu svojega skladišča Git in vanjo prilepite pravila.
Če se nekaterim od teh datotek že sledi, zaženite git rm -r --cached . in nato ponovno potrdite — Git uporablja pravila prezrtja samo za datoteke, ki jim ni sledi.
Potrdite datoteko .gitignore, da bo vsa ekipa uporabljala enaka pravila.

Druge predloge Jezik .gitignore

Python Java C C++ Go Kotlin Rust Zig Dart Elm Emacs Lisp Gleam

Oglejte si vsako predlogo Jezik