.gitignore priekš Lean
1 ignorē noteikumu Lean, kas ir gatavs kopēšanai jūsu repozitorijā.
Funkcionālās valodas un interaktīvo teorēmu pārbaudītājs
Pilnīgs .gitignore priekš Lean
# Ģenerē LFGitignore - https://lfgitignore.com
# Izveidots: 2026-10-31 21:50:21 UTC
# Tehnoloģijas: Lean
### Lean ###
# Lean ezera build kešatmiņa un artefakti
.lake/
Ko šie Lean noteikumi faktiski ignorē
Katrs turpmāk minētais raksts un skaidrojums, kāpēc tas jāiekļauj .gitignore failā.
Ģenerālis
| Raksts | Ko tas ignorē |
|---|---|
.lake/ |
Lean ezera build kešatmiņa un artefakti |
Kā lietot šo .gitignore failu tehnoloģijai Lean
- Kopējiet iepriekš minētos Lean noteikumus vai lejupielādējiet failu tieši.
- Git repozitorija saknē izveidojiet failu ar nosaukumu .gitignore un ielīmējiet tajā noteikumus.
- Ja daži no šiem failiem jau ir izsekoti, palaidiet git rm -r --cached . un pēc tam veiciet vēlreiz — Git ignorēšanas noteikumus piemēro tikai neizsekotajiem failiem.
- Iekļaujiet .gitignore failu komitā, lai visai komandai būtu vienādi noteikumi.