.gitignore fyrir HOL
7 hunsa reglur fyrir HOL, tilbúinn til að afrita inn í geymsluna þína.
Gagnvirk setningaprófun fyrir hærri röð rökfræði
Heildar .gitignore fyrir HOL
# Myndað af LFGitignore - https://lfgitignore.com
# Búið til: 2026-10-31 21:51:25 UTC
# Tækni: HOL
### HOL ###
*Script
# Holmake-mynduð kenning undirskrift
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake hjálparskrá
.HOLMK
Það sem þessar HOL reglur hunsa í raun og veru
Hvert mynstur hér að neðan er útskýrt ásamt ástæðu þess að það á heima í .gitignore skránni þinni.
Almennt
| Mynstur | Það sem það hunsar |
|---|---|
*Script |
Almennt |
Holmake bjó til skrár
| Mynstur | Það sem það hunsar |
|---|---|
*Theory.sig |
Holmake-mynduð kenning undirskrift |
*Theory.sml |
Holmake bjó til skrár |
*.uo |
Holmake bjó til skrár |
*.ui |
Holmake bjó til skrár |
Holmake hjálparskrár
| Mynstur | Það sem það hunsar |
|---|---|
.hollogs |
Holmake hjálparskrár |
.HOLMK |
Holmake hjálparskrá |
Hvernig á að nota þetta .gitignore fyrir HOL
- Afritaðu HOL reglurnar hér að ofan, eða halaðu niður skránni beint.
- Búðu til skrá sem heitir .gitignore í rót Git geymslunnar þinnar og límdu reglurnar inn í hana.
- Ef Git rekur nú þegar einhverjar þessara skráa skaltu keyra git rm -r --cached . og búa síðan til nýtt commit. Git beitir hunsunarreglum aðeins á skrár sem það rekur ekki.
- Settu .gitignore skrána í commit svo allir í teyminu noti sömu reglur.