.gitignore за Agda
2 правила за игнориране за Agda, готови за копиране в хранилището ви.
Функционален език със зависими типове
Пълният .gitignore за Agda
# Генерирано от LFGitignore — https://lfgitignore.com
# Създадено: 2026-10-13 16:13:32 UTC
# Технологии: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Какво всъщност игнорират тези правила за Agda
Всички шаблони по-долу и защо са необходими във вашия .gitignore.
Общи
| Шаблон | Какво игнорира |
|---|---|
*.agdai |
Общи |
**/MAlonzo/** |
Общи |
Как да използвате този .gitignore за Agda
- Копирайте правилата за Agda по-горе или изтеглете файла директно.
- Създайте файл с име .gitignore в основната директория на Git хранилището си и поставете правилата в него.
- Ако някои от тези файлове вече се следят, изпълнете git rm -r --cached . и създайте нов комит — Git прилага правилата за игнориране само към неследени файлове.
- Добавете .gitignore в комит, за да използва целият екип едни и същи правила.