HOL के लिए .gitignore
HOL के लिए 7 अनदेखा करने के नियम, आपकी रिपॉज़िटरी में कॉपी करने के लिए तैयार।
उच्च क्रम के तर्क के लिए इंटरैक्टिव प्रमेय सिद्ध करने वाला टूल
HOL के लिए पूरी .gitignore
# LFGitignore द्वारा बनाया गया - https://lfgitignore.com
# बनाने की तारीख: 2026-10-31 21:52:20 UTC
# तकनीकें: HOL
### HOL ###
*Script
# होल्मेक-जनित सिद्धांत हस्ताक्षर
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# होल्मेक सहायक निर्देशिका
.HOLMK
HOL के ये नियम किन चीज़ों को अनदेखा करते हैं
नीचे हर पैटर्न और उसे .gitignore में शामिल करने का कारण दिया गया है।
सामान्य
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
*Script |
सामान्य |
होल्मेक ने फ़ाइलें तैयार कीं
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
*Theory.sig |
होल्मेक-जनित सिद्धांत हस्ताक्षर |
*Theory.sml |
होल्मेक ने फ़ाइलें तैयार कीं |
*.uo |
होल्मेक ने फ़ाइलें तैयार कीं |
*.ui |
होल्मेक ने फ़ाइलें तैयार कीं |
होल्मेक सहायक फ़ाइलें
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
.hollogs |
होल्मेक सहायक फ़ाइलें |
.HOLMK |
होल्मेक सहायक निर्देशिका |
HOL के लिए इस .gitignore का उपयोग कैसे करें
- ऊपर दिए गए HOL के नियम कॉपी करें या फ़ाइल सीधे डाउनलोड करें।
- अपनी Git रिपॉज़िटरी के मूल फ़ोल्डर में .gitignore नाम की फ़ाइल बनाएँ और उसमें नियम पेस्ट करें।
- यदि इनमें से कुछ फ़ाइलें पहले से ट्रैक हो रही हैं, तो git rm -r --cached . चलाएँ और फिर से कमिट करें — Git केवल ट्रैक न की गई फ़ाइलों पर अनदेखा करने के नियम लागू करता है।
- .gitignore कमिट करें ताकि टीम के सभी सदस्य एक जैसे नियम इस्तेमाल करें।