.gitignore: Lean
1 ohitussääntö teknologialle Lean, valmiina kopioitavaksi tietovarastoosi.
Funktionaalinen kieli ja vuorovaikutteinen lauseidentodistin
Kattava .gitignore: Lean
# Luotu LFGitignorella - https://lfgitignore.com
# Luotu: 2026-10-13 16:11:24 UTC
# Teknologiat: Lean
### Lean ###
# Lean Laken käännösvälimuisti ja tuotokset
.lake/
Mitä nämä Lean-säännöt ohittavat
Kaikki säännöt ja selitykset sille, miksi ne kuuluvat .gitignore-tiedostoosi.
Yleiset
| Sääntö | Mitä se ohittaa |
|---|---|
.lake/ |
Lean Laken käännösvälimuisti ja tuotokset |
Tämän .gitignore-tiedoston käyttö: Lean
- Kopioi yllä olevat Lean-säännöt tai lataa tiedosto suoraan.
- Luo .gitignore-niminen tiedosto Git-tietovarastosi juureen ja liitä säännöt siihen.
- Jos osa tiedostoista on jo seurannassa, suorita git rm -r --cached . ja tee uusi commit — Git soveltaa ohitussääntöjä vain tiedostoihin, joita ei seurata.
- Lisää .gitignore committiin, jotta koko tiimi käyttää samoja sääntöjä.