.gitignore สำหรับ HOL
กฎการละเว้นสำหรับ HOL จำนวน 7 ข้อ พร้อมคัดลอกไปใช้ในคลังโค้ดของคุณ
เครื่องพิสูจน์ทฤษฎีบทเชิงโต้ตอบสำหรับตรรกะระดับสูง
.gitignore ที่สมบูรณ์สำหรับ HOL
# สร้างโดย LFGitignore - https://lfgitignore.com
# สร้าง: 2026-10-31 21:50:36 UTC
# เทคโนโลยี: HOL
### HOL ###
*Script
# ลายเซ็นทฤษฎีที่ Holmake สร้างขึ้น
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# ไดเร็กทอรีเสริมของ Holmake
.HOLMK
สิ่งที่กฎ HOL เหล่านี้มองข้ามไปจริงๆ
ทุกรูปแบบด้านล่าง และทำไมมันถึงอยู่ใน .gitignore ของคุณ
ทั่วไป
| รูปแบบ | สิ่งที่กฎนี้ละเว้น |
|---|---|
*Script |
ทั่วไป |
Holmake สร้างไฟล์
| รูปแบบ | สิ่งที่กฎนี้ละเว้น |
|---|---|
*Theory.sig |
ลายเซ็นทฤษฎีที่ Holmake สร้างขึ้น |
*Theory.sml |
Holmake สร้างไฟล์ |
*.uo |
Holmake สร้างไฟล์ |
*.ui |
Holmake สร้างไฟล์ |
ไฟล์เสริมของ Holmake
| รูปแบบ | สิ่งที่กฎนี้ละเว้น |
|---|---|
.hollogs |
ไฟล์เสริมของ Holmake |
.HOLMK |
ไดเร็กทอรีเสริมของ Holmake |
วิธีใช้ .gitignore นี้สำหรับ HOL
- คัดลอกกฎ HOL ด้านบน หรือดาวน์โหลดไฟล์โดยตรง
- สร้างไฟล์ชื่อ .gitignore ที่รากของที่เก็บ Git ของคุณ และวางกฎลงไป
- หาก Git ติดตามไฟล์เหล่านั้นอยู่แล้ว ให้เรียกใช้ git rm -r --cached . แล้วคอมมิตอีกครั้ง เพราะกฎการละเว้นของ Git มีผลเฉพาะกับไฟล์ที่ยังไม่ได้ติดตาม
- คอมมิตไฟล์ .gitignore เพื่อให้ทุกคนในทีมใช้กฎเดียวกัน