.gitignore, skirtas Agda
2 nepaiso Agda taisyklių, paruoštų kopijuoti į jūsų saugyklą.
Priklausomai įvesta funkcinė kalba
Visas .gitignore, skirtas Agda
# Sukurta LFGitignore - https://lfgitignore.com
# Sukurta: 2026-10-31 21:51:58 UTC
# Technologijos: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Kokių failų nepaiso šios Agda taisyklės
Kiekvienas toliau pateiktas šablonas paaiškintas: kodėl jis reikalingas jūsų .gitignore.
Generolas
| Šablonas | Ką ignoruoja |
|---|---|
*.agdai |
Generolas |
**/MAlonzo/** |
Generolas |
Kaip naudoti šį .gitignore Agda
- Nukopijuokite aukščiau pateiktas Agda taisykles arba atsisiųskite failą tiesiogiai.
- Sukurkite failą pavadinimu .gitignore savo Git saugyklos šaknyje ir įklijuokite į jį taisykles.
- Jei kai kurie iš tų failų jau sekami, paleiskite git rm -r --cached ., tada vėl įsipareigokite – Git taiko ignoravimo taisykles tik nesekamiems failams.
- Įsipareigokite .gitignore, kad visi komandos nariai laikytųsi tos pačios taisyklės.