.gitignore za Idris
4 pravila izuzimanja za Idris, spremna za kopiranje u repozitorij.
Jezik s ovisnim tipovima
Potpuni .gitignore za Idris
# Generirano uz LFGitignore - https://lfgitignore.com
# Stvoreno: 2026-10-13 15:52:40 UTC
# Tehnologije: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektna datoteka
*.o
Što ova pravila za Idris zapravo zanemaruju
Svaki obrazac u nastavku i razlog zašto pripada vašoj datoteci .gitignore.
Idris 2
| Obrazac | Što zanemaruje |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Obrazac | Što zanemaruje |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektna datoteka |
Kako koristiti ovaj .gitignore za Idris
- Kopirajte pravila za Idris iznad ili izravno preuzmite datoteku.
- U korijenu svojeg Git repozitorija stvorite datoteku naziva .gitignore i zalijepite pravila u nju.
- Ako se neke od tih datoteka već prate, pokrenite git rm -r --cached . pa ponovno predajte promjene — Git primjenjuje pravila izuzimanja samo na datoteke koje ne prati.
- Predajte .gitignore kako bi svi u timu koristili ista pravila.