.gitignore: Idris
4 ohitussääntöä teknologialle Idris, valmiina kopioitavaksi tietovarastoosi.
Riippuvasti tyypitetty kieli
Kattava .gitignore: Idris
# Luotu LFGitignorella - https://lfgitignore.com
# Luotu: 2026-10-13 15:51:44 UTC
# Teknologiat: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektitiedosto
*.o
Mitä nämä Idris-säännöt ohittavat
Kaikki säännöt ja selitykset sille, miksi ne kuuluvat .gitignore-tiedostoosi.
Idris 2
| Sääntö | Mitä se ohittaa |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Sääntö | Mitä se ohittaa |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektitiedosto |
Tämän .gitignore-tiedoston käyttö: Idris
- Kopioi yllä olevat Idris-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ä.