.gitignore для Idris
4 правила игнорирования для Idris, готовых к копированию в репозиторий.
Зависимо типизированный язык
Полный .gitignore для Idris
# Создано LFGitignore - https://lfgitignore.com
# Создано: 2026-10-31 21:52:48 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, чтобы все члены команды придерживались одних и тех же правил.