.gitignore, skirtas Idris
4 nepaiso Idris taisyklių, paruoštų kopijuoti į jūsų saugyklą.
Priklausomai spausdinama kalba
Visas .gitignore, skirtas Idris
# Sukurta LFGitignore - https://lfgitignore.com
# Sukurta: 2026-10-31 23:00:15 UTC
# Technologijos: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objekto failas
*.o
Kokių failų nepaiso šios Idris taisyklės
Kiekvienas toliau pateiktas šablonas paaiškintas: kodėl jis reikalingas jūsų .gitignore.
Idris 2
| Šablonas | Ką ignoruoja |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Šablonas | Ką ignoruoja |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objekto failas |
Kaip naudoti šį .gitignore Idris
- Nukopijuokite aukščiau pateiktas Idris 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.