.gitignore dla Idris
4 reguły ignorowania dla Idris, gotowe do skopiowania do repozytorium.
Język z typami zależnymi
Kompletny plik .gitignore dla Idris
# Wygenerowano przez LFGitignore - https://lfgitignore.com
# Utworzono: 2026-10-13 15:52:07 UTC
# Technologie: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Plik obiektowy
*.o
Co ignorują te reguły dla Idris
Każdy z poniższych wzorców wraz z wyjaśnieniem, dlaczego warto umieścić go w .gitignore.
Idris 2
| Wzorzec | Co ignoruje |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Wzorzec | Co ignoruje |
|---|---|
*.ibc |
Idris 1 |
*.o |
Plik obiektowy |
Jak używać tego pliku .gitignore dla Idris
- Skopiuj powyższe reguły dla Idris lub pobierz plik.
- Utwórz plik o nazwie .gitignore w katalogu głównym repozytorium Git i wklej do niego reguły.
- Jeśli Git już śledzi niektóre z tych plików, uruchom git rm -r --cached ., a następnie utwórz nowy commit — Git stosuje reguły ignorowania tylko do nieśledzonych plików.
- Dodaj .gitignore do commita, aby cały zespół korzystał z tych samych reguł.