.gitignore за Idris
4 правила за игнориране за Idris, готови за копиране в хранилището ви.
Език със зависими типове
Пълният .gitignore за Idris
# Генерирано от LFGitignore — https://lfgitignore.com
# Създадено: 2026-10-13 15:51:43 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 в комит, за да използва целият екип едни и същи правила.