.gitignore за Idris
4 правила игнорисања за Idris, спремна за копирање у репозиторијум.
Зависно откуцани језик
Комплетан .gitignore за Idris
# Генерисао LFGitignore - https://lfgitignore.com
# Креирано: 2026-10-31 23:47:50 UTC
# Технологије: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Објекат фајл
*.o
Шта тачно игноришу ова правила за Idris
Сваки образац испод има објашњење зашто припада вашој датотеци .gitignore.
Idris 2
| Образац | Шта игнорише |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Образац | Шта игнорише |
|---|---|
*.ibc |
Idris 1 |
*.o |
Објекат фајл |
Како користити овај .gitignore за Idris
- Копирајте горенаведена правила Idris или директно преузмите датотеку.
- Направите датотеку под називом .gitignore у корену вашег Git спремишта и налепите правила у њу.
- Ако Git већ прати неке од тих датотека, покрените git rm -r --cached . па поново направите комит — правила игнорисања важе само за датотеке које Git не прати.
- Додајте .gitignore у комит како би цео тим користио иста правила.