.gitignore dla Agda
2 reguły ignorowania dla Agda, gotowe do skopiowania do repozytorium.
Język funkcyjny z typami zależnymi
Kompletny plik .gitignore dla Agda
# Wygenerowano przez LFGitignore - https://lfgitignore.com
# Utworzono: 2026-10-13 16:12:58 UTC
# Technologie: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Co ignorują te reguły dla Agda
Każdy z poniższych wzorców wraz z wyjaśnieniem, dlaczego warto umieścić go w .gitignore.
Ogólny
| Wzorzec | Co ignoruje |
|---|---|
*.agdai |
Ogólny |
**/MAlonzo/** |
Ogólny |
Jak używać tego pliku .gitignore dla Agda
- Skopiuj powyższe reguły dla Agda 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ł.