.gitignore: HOL
7 ohitussääntöä teknologialle HOL, valmiina kopioitavaksi tietovarastoosi.
Vuorovaikutteinen lauseidentodistin korkeamman kertaluvun logiikalle
Kattava .gitignore: HOL
# Luotu LFGitignorella - https://lfgitignore.com
# Luotu: 2026-10-13 15:58:31 UTC
# Teknologiat: HOL
### HOL ###
*Script
# Holmaken luoma teoriasignatuuri
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmaken apuhakemisto
.HOLMK
Mitä nämä HOL-säännöt ohittavat
Kaikki säännöt ja selitykset sille, miksi ne kuuluvat .gitignore-tiedostoosi.
Yleiset
| Sääntö | Mitä se ohittaa |
|---|---|
*Script |
Yleiset |
Holmaken luomat tiedostot
| Sääntö | Mitä se ohittaa |
|---|---|
*Theory.sig |
Holmaken luoma teoriasignatuuri |
*Theory.sml |
Holmaken luomat tiedostot |
*.uo |
Holmaken luomat tiedostot |
*.ui |
Holmaken luomat tiedostot |
Holmaken aputiedostot
| Sääntö | Mitä se ohittaa |
|---|---|
.hollogs |
Holmaken aputiedostot |
.HOLMK |
Holmaken apuhakemisto |
Tämän .gitignore-tiedoston käyttö: HOL
- Kopioi yllä olevat HOL-säännöt tai lataa tiedosto suoraan.
- Luo .gitignore-niminen tiedosto Git-tietovarastosi juureen ja liitä säännöt siihen.
- Jos osa tiedostoista on jo seurannassa, suorita git rm -r --cached . ja tee uusi commit — Git soveltaa ohitussääntöjä vain tiedostoihin, joita ei seurata.
- Lisää .gitignore committiin, jotta koko tiimi käyttää samoja sääntöjä.