.gitignore Idris-hez
A 4 figyelmen kívül hagyja a Idris szabályait, készen áll a tárba másolásra.
Függően gépelt nyelv
A teljes .gitignore a Idris-hez
# Generálta: LFGitignore - https://lfgitignore.com
# Létrehozva: 2026-10-31 22:59:44 UTC
# Technológiák: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Objektumfájl
*.o
Amit ezek a Idris szabályok valójában figyelmen kívül hagynak
Minden alábbi minta, és miért tartozik a .gitignore.-hez
Idris 2
| Minta | Mit hagy figyelmen kívül |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Minta | Mit hagy figyelmen kívül |
|---|---|
*.ibc |
Idris 1 |
*.o |
Objektumfájl |
A .gitignore használata a Idris-hez
- Másolja ki a fenti Idris szabályokat, vagy töltse le közvetlenül a fájlt.
- Hozz létre egy .gitignore nevű fájlt a Git-tároló gyökérkönyvtárában, majd illeszd be a szabályokat.
- Ha ezen fájlok némelyike már nyomon van követve, futtassa a git rm -r --cached . programot, majd véglegesítse újra – a Git csak a nem követett fájlokra alkalmaz figyelmen kívül hagyási szabályokat.
- Kötelesd be a .gitignore-t, hogy a csapatban mindenki ugyanazokat a szabályokat alkalmazza.