.gitignore pentru Idris
4 reguli de ignorare pentru Idris, gata de copiat în depozitul dvs.
Limbaj tastat în funcție
.gitignore complet pentru Idris
# Generat de LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 21:52:13 UTC
# Tehnologii: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Fișier obiect
*.o
Ce ignoră regulile pentru Idris
Fiecare model de mai jos și motivul pentru care se află în .gitignore.
Idris 2
| Model de fișier | Ce ignoră |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Model de fișier | Ce ignoră |
|---|---|
*.ibc |
Idris 1 |
*.o |
Fișier obiect |
Cum să utilizați acest .gitignore pentru Idris
- Copiați regulile Idris de mai sus sau descărcați fișierul direct.
- Creați un fișier numit .gitignore la rădăcina depozitului dvs. Git și inserați regulile în el.
- Dacă unele fișiere sunt deja urmărite, rulați git rm -r --cached . și apoi faceți din nou commit — Git aplică regulile de ignorare numai fișierelor neurmărite.
- Faceți commit pentru .gitignore, astfel încât întreaga echipă să folosească aceleași reguli.