.gitignore, skirtas Lean
1 Lean nepaisymo taisyklė, paruošta kopijuoti į saugyklą.
Funkcinės kalbos ir interaktyvios teoremos tikrintojas
Visas .gitignore, skirtas Lean
# Sukurta LFGitignore - https://lfgitignore.com
# Sukurta: 2026-10-31 22:50:16 UTC
# Technologijos: Lean
### Lean ###
# Lean ežeras build talpykla ir artefaktai
.lake/
Kokių failų nepaiso šios Lean taisyklės
Kiekvienas toliau pateiktas šablonas paaiškintas: kodėl jis reikalingas jūsų .gitignore.
Generolas
| Šablonas | Ką ignoruoja |
|---|---|
.lake/ |
Lean ežeras build talpykla ir artefaktai |
Kaip naudoti šį .gitignore Lean
- Nukopijuokite aukščiau pateiktas Lean taisykles arba atsisiųskite failą tiesiogiai.
- Sukurkite failą pavadinimu .gitignore savo Git saugyklos šaknyje ir įklijuokite į jį taisykles.
- Jei kai kurie iš tų failų jau sekami, paleiskite git rm -r --cached ., tada vėl įsipareigokite – Git taiko ignoravimo taisykles tik nesekamiems failams.
- Įsipareigokite .gitignore, kad visi komandos nariai laikytųsi tos pačios taisyklės.