.gitignore priekš Idris
4 ignorē Idris noteikumus, kas ir gatavi kopēšanai jūsu repozitorijā.
Atkarīgi drukāta valoda
Pilnīgs .gitignore priekš Idris
# Ģenerē LFGitignore - https://lfgitignore.com
# Izveidots: 2026-10-31 22:58:47 UTC
# Tehnoloģijas: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objekta fails
*.o
Ko šie Idris noteikumi faktiski ignorē
Katrs turpmāk minētais raksts un skaidrojums, kāpēc tas jāiekļauj .gitignore failā.
Idris 2
| Raksts | Ko tas ignorē |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Raksts | Ko tas ignorē |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objekta fails |
Kā lietot šo .gitignore failu tehnoloģijai Idris
- Kopējiet iepriekš minētos Idris noteikumus vai lejupielādējiet failu tieši.
- Git repozitorija saknē izveidojiet failu ar nosaukumu .gitignore un ielīmējiet tajā noteikumus.
- Ja daži no šiem failiem jau ir izsekoti, palaidiet git rm -r --cached . un pēc tam veiciet vēlreiz — Git ignorēšanas noteikumus piemēro tikai neizsekotajiem failiem.
- Iekļaujiet .gitignore failu komitā, lai visai komandai būtu vienādi noteikumi.