.gitignore untuk Idris
4 peraturan pengabaian untuk Idris, sedia untuk disalin ke repositori anda.
Bahasa taip bergantung
.gitignore yang lengkap untuk Idris
# Dijana oleh LFGitignore - https://lfgitignore.com
# Dicipta: 2026-10-31 22:57:50 UTC
# Teknologi: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Fail objek
*.o
Apa yang sebenarnya diabaikan oleh peraturan Idris ini
Setiap corak di bawah disertakan dengan sebab ia perlu berada dalam .gitignore anda.
Idris 2
| Corak | Perkara yang diabaikan |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Corak | Perkara yang diabaikan |
|---|---|
*.ibc |
Idris 1 |
*.o |
Fail objek |
Bagaimana untuk menggunakan .gitignore ini untuk Idris
- Salin peraturan Idris di atas, atau muat turun fail terus.
- Cipta fail bernama .gitignore di akar repositori Git anda dan tampal peraturan ke dalamnya.
- Jika beberapa fail tersebut telah dijejaki, jalankan git rm -r --cached . kemudian komit semula — Git hanya menggunakan peraturan mengabaikan kepada fail yang tidak dijejaki.
- Masukkan .gitignore dalam commit supaya semua ahli pasukan berkongsi peraturan yang sama.