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