.gitignore pre Idris
4 pravidlá ignorovania pre Idris, pripravené na skopírovanie do repozitára.
Jazyk so závislými typmi
Kompletný .gitignore pre Idris
# Vygenerované pomocou LFGitignore - https://lfgitignore.com
# Vytvorené: 2026-10-13 15:51:43 UTC
# Technológie: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektový súbor
*.o
Čo tieto pravidlá pre Idris skutočne ignorujú
Všetky vzory nižšie aj s vysvetlením, prečo patria do vášho .gitignore.
Idris 2
| Vzor | Čo ignoruje |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Vzor | Čo ignoruje |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektový súbor |
Ako používať tento .gitignore pre Idris
- Skopírujte pravidlá pre Idris vyššie alebo si súbor priamo stiahnite.
- V koreňovom adresári repozitára Git vytvorte súbor s názvom .gitignore a vložte doň pravidlá.
- Ak sa niektoré súbory už sledujú, spustite git rm -r --cached . a vytvorte nový commit — Git uplatňuje pravidlá ignorovania iba na nesledované súbory.
- Pridajte .gitignore do commitu, aby celý tím zdieľal rovnaké pravidlá.