.gitignore untuk Idris
4 aturan pengabaian untuk Idris, siap disalin ke repositori Anda.
Bahasa yang diketik secara dependen
.gitignore lengkap untuk Idris
# Dibuat oleh LFGitignore - https://lfgitignore.com
# Dibuat: 2026-10-31 23:48:47 UTC
# Teknologi: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Berkas objek
*.o
Apa yang sebenarnya diabaikan oleh aturan Idris ini
Setiap pola berikut beserta alasan untuk memasukkannya ke .gitignore.
Idris 2
| Pola | Yang diabaikan |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Pola | Yang diabaikan |
|---|---|
*.ibc |
Idris 1 |
*.o |
Berkas objek |
Cara menggunakan .gitignore ini untuk Idris
- Salin aturan Idris di atas atau unduh langsung berkasnya.
- Buat berkas bernama .gitignore di direktori utama repositori Git Anda dan tempelkan aturannya.
- Jika sebagian berkas tersebut sudah dilacak, jalankan git rm -r --cached . lalu buat commit baru — Git hanya menerapkan aturan pengabaian pada berkas yang belum dilacak.
- Commit .gitignore agar seluruh anggota tim menggunakan aturan yang sama.