HOL용 .gitignore
저장소에 바로 복사할 수 있는 HOL 제외 규칙 7개.
고차 논리용 대화형 정리 증명기
HOL용 전체 .gitignore
# LFGitignore로 생성 - https://lfgitignore.com
# 생성일: 2026-10-13 15:58:38 UTC
# 기술: HOL
### HOL ###
*Script
# Holmake가 생성한 이론 시그니처
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake 보조 디렉터리
.HOLMK
이 HOL 규칙이 실제로 제외하는 항목
아래에서 각 패턴과 .gitignore에 포함하는 이유를 확인하세요.
일반
| 패턴 | 제외 대상 |
|---|---|
*Script |
일반 |
Holmake 생성 파일
| 패턴 | 제외 대상 |
|---|---|
*Theory.sig |
Holmake가 생성한 이론 시그니처 |
*Theory.sml |
Holmake 생성 파일 |
*.uo |
Holmake 생성 파일 |
*.ui |
Holmake 생성 파일 |
Holmake 보조 파일
| 패턴 | 제외 대상 |
|---|---|
.hollogs |
Holmake 보조 파일 |
.HOLMK |
Holmake 보조 디렉터리 |
이 HOL용 .gitignore 사용 방법
- 위의 HOL 규칙을 복사하거나 파일을 바로 다운로드하세요.
- Git 저장소 루트에 .gitignore라는 파일을 만들고 규칙을 붙여 넣으세요.
- 이미 추적 중인 파일이 있다면 git rm -r --cached . 명령을 실행한 다음 다시 커밋하세요. Git은 추적하지 않는 파일에만 제외 규칙을 적용합니다.
- 팀원 모두가 같은 규칙을 사용하도록 .gitignore를 커밋하세요.