.gitignore สำหรับ Lean
กฎการละเว้นสำหรับ Lean จำนวน 1 ข้อ พร้อมคัดลอกไปใช้ในคลังโค้ดของคุณ
ภาษาเชิงฟังก์ชันและการพิสูจน์ทฤษฎีบทเชิงโต้ตอบ
.gitignore ที่สมบูรณ์สำหรับ Lean
# สร้างโดย LFGitignore - https://lfgitignore.com
# สร้าง: 2026-10-31 22:54:07 UTC
# เทคโนโลยี: Lean
### Lean ###
# Lean Lake สร้างแคชและสิ่งประดิษฐ์
.lake/
สิ่งที่กฎ Lean เหล่านี้มองข้ามไปจริงๆ
ทุกรูปแบบด้านล่าง และทำไมมันถึงอยู่ใน .gitignore ของคุณ
ทั่วไป
| รูปแบบ | สิ่งที่กฎนี้ละเว้น |
|---|---|
.lake/ |
Lean Lake สร้างแคชและสิ่งประดิษฐ์ |
วิธีใช้ .gitignore นี้สำหรับ Lean
- คัดลอกกฎ Lean ด้านบน หรือดาวน์โหลดไฟล์โดยตรง
- สร้างไฟล์ชื่อ .gitignore ที่รากของที่เก็บ Git ของคุณ และวางกฎลงไป
- หาก Git ติดตามไฟล์เหล่านั้นอยู่แล้ว ให้เรียกใช้ git rm -r --cached . แล้วคอมมิตอีกครั้ง เพราะกฎการละเว้นของ Git มีผลเฉพาะกับไฟล์ที่ยังไม่ได้ติดตาม
- คอมมิตไฟล์ .gitignore เพื่อให้ทุกคนในทีมใช้กฎเดียวกัน