.gitignore priekš Agda
2 ignorē Agda noteikumus, kas ir gatavi kopēšanai jūsu repozitorijā.
Funkcionāla valoda ar atkarīgajiem tipiem
Pilnīgs .gitignore priekš Agda
# Ģenerē LFGitignore - https://lfgitignore.com
# Izveidots: 2026-10-31 23:00:23 UTC
# Tehnoloģijas: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Ko šie Agda noteikumi faktiski ignorē
Katrs turpmāk minētais raksts un skaidrojums, kāpēc tas jāiekļauj .gitignore failā.
Ģenerālis
| Raksts | Ko tas ignorē |
|---|---|
*.agdai |
Ģenerālis |
**/MAlonzo/** |
Ģenerālis |
Kā lietot šo .gitignore failu tehnoloģijai Agda
- Kopējiet iepriekš minētos Agda 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.