Idris 的 .gitignore
适用于 Idris 的 4 条忽略规则，可直接复制到您的仓库。
依赖类型语言
Idris 的完整 .gitignore
# 由 LFGitignore - https://lfgitignore.com 生成
# 创建：2026-10-31 21:53:35 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规则，或者直接下载文件。
- 在 Git 仓库根目录创建名为 .gitignore 的文件，并将规则粘贴进去。
- 如果其中一些文件已被跟踪，请运行 git rm -r --cached . 然后再次提交 - Git 仅将忽略规则应用于未跟踪的文件。
- 提交 .gitignore 以便团队中的每个人都共享相同的规则。