.gitignore для Idris
4 правила ігнорування для Idris, готові до копіювання у ваш репозиторій.
Залежно типізована мова
Повний .gitignore для Idris
# Згенеровано LFGitignore - https://lfgitignore.com
# Створено: 2026-10-31 23:48:33 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 rm -r --cached ., а потім зафіксуйте знову — Git застосовує правила ігнорування лише до невідстежуваних файлів.
- Закріпіть .gitignore, щоб усі члени команди мали однакові правила.