.gitignore HOL-hez
A 7 figyelmen kívül hagyja a HOL szabályait, készen áll a tárba másolásra.
Interaktív tételbizonyító magasabb rendű logikához
A teljes .gitignore a HOL-hez
# Generálta: LFGitignore - https://lfgitignore.com
# Létrehozva: 2026-10-31 23:47:46 UTC
# Technológiák: HOL
### HOL ###
*Script
# Holmake által generált elmélet aláírás
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake segédkönyvtár
.HOLMK
Amit ezek a HOL szabályok valójában figyelmen kívül hagynak
Minden alábbi minta, és miért tartozik a .gitignore.-hez
Általános
| Minta | Mit hagy figyelmen kívül |
|---|---|
*Script |
Általános |
Holmake fájlokat generált
| Minta | Mit hagy figyelmen kívül |
|---|---|
*Theory.sig |
Holmake által generált elmélet aláírás |
*Theory.sml |
Holmake fájlokat generált |
*.uo |
Holmake fájlokat generált |
*.ui |
Holmake fájlokat generált |
Holmake segédfájlok
| Minta | Mit hagy figyelmen kívül |
|---|---|
.hollogs |
Holmake segédfájlok |
.HOLMK |
Holmake segédkönyvtár |
A .gitignore használata a HOL-hez
- Másolja ki a fenti HOL szabályokat, vagy töltse le közvetlenül a fájlt.
- Hozz létre egy .gitignore nevű fájlt a Git-tároló gyökérkönyvtárában, majd illeszd be a szabályokat.
- Ha ezen fájlok némelyike már nyomon van követve, futtassa a git rm -r --cached . programot, majd véglegesítse újra – a Git csak a nem követett fájlokra alkalmaz figyelmen kívül hagyási szabályokat.
- Kötelesd be a .gitignore-t, hogy a csapatban mindenki ugyanazokat a szabályokat alkalmazza.