.gitignore za Idris
4 pravila za prezrtje za Idris, pripravljena za kopiranje v skladišče.
Odvisno tipiziran jezik
Popoln .gitignore za Idris
# Ustvaril LFGitignore - https://lfgitignore.com
# Ustvarjeno: 2026-10-31 23:00:21 UTC
# Tehnologije: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektna datoteka
*.o
Kaj pravila za Idris dejansko prezrejo
Vsak spodnji vzorec in zakaj sodi v vaš .gitignore.
Idris 2
| Vzorec | Kaj pravilo prezre |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Vzorec | Kaj pravilo prezre |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektna datoteka |
Kako uporabljati ta .gitignore za Idris
- Kopirajte zgornja pravila Idris ali neposredno prenesite datoteko.
- Ustvarite datoteko z imenom .gitignore v korenu svojega skladišča Git in vanjo prilepite pravila.
- Če se nekaterim od teh datotek že sledi, zaženite git rm -r --cached . in nato ponovno potrdite — Git uporablja pravila prezrtja samo za datoteke, ki jim ni sledi.
- Potrdite datoteko .gitignore, da bo vsa ekipa uporabljala enaka pravila.