.gitignore untuk Agda
2 peraturan pengabaian untuk Agda, sedia untuk disalin ke repositori anda.
Bahasa berfungsi yang ditaip bergantung
.gitignore yang lengkap untuk Agda
# Dijana oleh LFGitignore - https://lfgitignore.com
# Dicipta: 2026-10-31 22:58:12 UTC
# Teknologi: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Apa yang sebenarnya diabaikan oleh peraturan Agda ini
Setiap corak di bawah disertakan dengan sebab ia perlu berada dalam .gitignore anda.
Umum
| Corak | Perkara yang diabaikan |
|---|---|
*.agdai |
Umum |
**/MAlonzo/** |
Umum |
Bagaimana untuk menggunakan .gitignore ini untuk Agda
- Salin peraturan Agda 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.