Idris के लिए .gitignore
Idris के लिए 4 अनदेखा करने के नियम, आपकी रिपॉज़िटरी में कॉपी करने के लिए तैयार।
निर्भर प्रकारों वाली भाषा
Idris के लिए पूरी .gitignore
# LFGitignore द्वारा बनाया गया - https://lfgitignore.com
# बनाने की तारीख: 2026-10-31 23:58:10 UTC
# तकनीकें: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# ऑब्जेक्ट फ़ाइल
*.o
Idris के ये नियम किन चीज़ों को अनदेखा करते हैं
नीचे हर पैटर्न और उसे .gitignore में शामिल करने का कारण दिया गया है।
Idris 2
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
*.ibc |
Idris 1 |
*.o |
ऑब्जेक्ट फ़ाइल |
Idris के लिए इस .gitignore का उपयोग कैसे करें
- ऊपर दिए गए Idris के नियम कॉपी करें या फ़ाइल सीधे डाउनलोड करें।
- अपनी Git रिपॉज़िटरी के मूल फ़ोल्डर में .gitignore नाम की फ़ाइल बनाएँ और उसमें नियम पेस्ट करें।
- यदि इनमें से कुछ फ़ाइलें पहले से ट्रैक हो रही हैं, तो git rm -r --cached . चलाएँ और फिर से कमिट करें — Git केवल ट्रैक न की गई फ़ाइलों पर अनदेखा करने के नियम लागू करता है।
- .gitignore कमिट करें ताकि टीम के सभी सदस्य एक जैसे नियम इस्तेमाल करें।