.gitignore: Agda
2 ohitussääntöä teknologialle Agda, valmiina kopioitavaksi tietovarastoosi.
Riippuvasti tyypitetty funktionaalinen kieli
Kattava .gitignore: Agda
# Luotu LFGitignorella - https://lfgitignore.com
# Luotu: 2026-10-13 16:10:57 UTC
# Teknologiat: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Mitä nämä Agda-säännöt ohittavat
Kaikki säännöt ja selitykset sille, miksi ne kuuluvat .gitignore-tiedostoosi.
Yleiset
| Sääntö | Mitä se ohittaa |
|---|---|
*.agdai |
Yleiset |
**/MAlonzo/** |
Yleiset |
Tämän .gitignore-tiedoston käyttö: Agda
- Kopioi yllä olevat Agda-säännöt tai lataa tiedosto suoraan.
- Luo .gitignore-niminen tiedosto Git-tietovarastosi juureen ja liitä säännöt siihen.
- Jos osa tiedostoista on jo seurannassa, suorita git rm -r --cached . ja tee uusi commit — Git soveltaa ohitussääntöjä vain tiedostoihin, joita ei seurata.
- Lisää .gitignore committiin, jotta koko tiimi käyttää samoja sääntöjä.