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