.gitignore Agda-hez
A 2 figyelmen kívül hagyja a Agda szabályait, készen áll a tárba másolásra.
Függően tipizált funkcionális nyelv
A teljes .gitignore a Agda-hez
# Generálta: LFGitignore - https://lfgitignore.com
# Létrehozva: 2026-10-31 23:49:09 UTC
# Technológiák: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Amit ezek a Agda szabályok valójában figyelmen kívül hagynak
Minden alábbi minta, és miért tartozik a .gitignore.-hez
Általános
| Minta | Mit hagy figyelmen kívül |
|---|---|
*.agdai |
Általános |
**/MAlonzo/** |
Általános |
A .gitignore használata a Agda-hez
- Másolja ki a fenti Agda 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.