.gitignore HOL jaoks
7 tehnoloogia HOL eiramisreeglit, mida saad oma hoidlasse kopeerida.
Kõrgemat järku loogika interaktiivne teoreemi tõestaja
Täielik .gitignore HOL jaoks
# Genereeritud LFGitignore - https://lfgitignore.com
# Loodud: 2026-10-31 23:46:30 UTC
# Tehnoloogiad: HOL
### HOL ###
*Script
# Holmake’i loodud teooriasignatuur
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake abikataloog
.HOLMK
Mida need HOL reeglid tegelikult ignoreerivad
Iga allolev muster ja selgitus, miks see kuulub sinu .gitignore-faili.
Kindral
| Muster | Mida see ignoreerib |
|---|---|
*Script |
Kindral |
Holmake loodud failid
| Muster | Mida see ignoreerib |
|---|---|
*Theory.sig |
Holmake’i loodud teooriasignatuur |
*Theory.sml |
Holmake loodud failid |
*.uo |
Holmake loodud failid |
*.ui |
Holmake loodud failid |
Holmake abifailid
| Muster | Mida see ignoreerib |
|---|---|
.hollogs |
Holmake abifailid |
.HOLMK |
Holmake abikataloog |
Kuidas seda .gitignore kasutada HOL jaoks
- Kopeerige ülaltoodud HOL reeglid või laadige fail otse alla.
- Looge oma Git hoidla juurtes fail nimega .gitignore ja kleepige reeglid sinna.
- Kui Git juba jälgib mõnda neist failidest, käivita git rm -r --cached . ja tee uus commit — Git rakendab eiramisreegleid ainult jälgimata failidele.
- Lisa .gitignore commit’i, et kogu meeskond kasutaks samu reegleid.