.gitignore priekš HOL
7 ignorē HOL noteikumus, kas ir gatavi kopēšanai jūsu repozitorijā.
Interaktīvs teorēmu pārbaudītājs augstākas pakāpes loģikai
Pilnīgs .gitignore priekš HOL
# Ģenerē LFGitignore - https://lfgitignore.com
# Izveidots: 2026-10-31 21:51:39 UTC
# Tehnoloģijas: HOL
### HOL ###
*Script
# Holmake ģenerēts teorijas paraksts
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake palīgdirektorijs
.HOLMK
Ko šie HOL noteikumi faktiski ignorē
Katrs turpmāk minētais raksts un skaidrojums, kāpēc tas jāiekļauj .gitignore failā.
Ģenerālis
| Raksts | Ko tas ignorē |
|---|---|
*Script |
Ģenerālis |
Holmake ģenerētie faili
| Raksts | Ko tas ignorē |
|---|---|
*Theory.sig |
Holmake ģenerēts teorijas paraksts |
*Theory.sml |
Holmake ģenerētie faili |
*.uo |
Holmake ģenerētie faili |
*.ui |
Holmake ģenerētie faili |
Holmake palīgfaili
| Raksts | Ko tas ignorē |
|---|---|
.hollogs |
Holmake palīgfaili |
.HOLMK |
Holmake palīgdirektorijs |
Kā lietot šo .gitignore failu tehnoloģijai HOL
- Kopējiet iepriekš minētos HOL noteikumus vai lejupielādējiet failu tieši.
- Git repozitorija saknē izveidojiet failu ar nosaukumu .gitignore un ielīmējiet tajā noteikumus.
- Ja daži no šiem failiem jau ir izsekoti, palaidiet git rm -r --cached . un pēc tam veiciet vēlreiz — Git ignorēšanas noteikumus piemēro tikai neizsekotajiem failiem.
- Iekļaujiet .gitignore failu komitā, lai visai komandai būtu vienādi noteikumi.