.gitignore Idris jaoks
4 tehnoloogia Idris eiramisreeglit, mida saad oma hoidlasse kopeerida.
Sõltuvalt trükitud keel
Täielik .gitignore Idris jaoks
# Genereeritud LFGitignore - https://lfgitignore.com
# Loodud: 2026-10-31 23:48:51 UTC
# Tehnoloogiad: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objekti fail
*.o
Mida need Idris reeglid tegelikult ignoreerivad
Iga allolev muster ja selgitus, miks see kuulub sinu .gitignore-faili.
Idris 2
| Muster | Mida see ignoreerib |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Muster | Mida see ignoreerib |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objekti fail |
Kuidas seda .gitignore kasutada Idris jaoks
- Kopeerige ülaltoodud Idris reeglid või laadige fail otse alla.
- Looge oma Git hoidla juurtes fail nimega .gitignore ja kleepige reeglid sinna.
- Kui Git juba jälgib mõnda neist failidest, käivita git rm -r --cached . ja tee uus commit — Git rakendab eiramisreegleid ainult jälgimata failidele.
- Lisa .gitignore commit’i, et kogu meeskond kasutaks samu reegleid.