Ludovic Frank Gitignore

Lean के लिए .gitignore

Lean के लिए 1 अनदेखा करने का नियम, आपकी रिपॉज़िटरी में कॉपी करने के लिए तैयार।

फ़ंक्शनल भाषा और इंटरैक्टिव प्रमेय सिद्ध करने वाला टूल

Lean के लिए पूरी .gitignore

# LFGitignore द्वारा बनाया गया - https://lfgitignore.com
# बनाने की तारीख: 2026-10-31 23:46:28 UTC
# तकनीकें: Lean

### Lean ###
# Lean झील build कैश ​​और बिल्ड फ़ाइलें
.lake/

Lean के ये नियम किन चीज़ों को अनदेखा करते हैं

नीचे हर पैटर्न और उसे .gitignore में शामिल करने का कारण दिया गया है।

सामान्य

पैटर्न यह क्या अनदेखा करता है
.lake/ Lean झील build कैश ​​और बिल्ड फ़ाइलें

Lean के लिए इस .gitignore का उपयोग कैसे करें

  1. ऊपर दिए गए Lean के नियम कॉपी करें या फ़ाइल सीधे डाउनलोड करें।
  2. अपनी Git रिपॉज़िटरी के मूल फ़ोल्डर में .gitignore नाम की फ़ाइल बनाएँ और उसमें नियम पेस्ट करें।
  3. यदि इनमें से कुछ फ़ाइलें पहले से ट्रैक हो रही हैं, तो git rm -r --cached . चलाएँ और फिर से कमिट करें — Git केवल ट्रैक न की गई फ़ाइलों पर अनदेखा करने के नियम लागू करता है।
  4. .gitignore कमिट करें ताकि टीम के सभी सदस्य एक जैसे नियम इस्तेमाल करें।

भाषा के अन्य .gitignore टेम्पलेट

भाषा का हर टेम्पलेट देखें