smart_ide/.gitignore
Nicolas Cantu ee81855fc3 chore(git): keep logs/ in repo but ignore all log files
**Motivations:**
- Explicit root rule for logs/**/*.log; nested **/*.log under logs/.

**Evolutions:**
- logs/README.md documents both ignore locations.
2026-04-03 18:11:42 +02:00

26 lines
880 B
Plaintext

# Vendored / cloned upstream trees (large; not part of smart_ide source history)
core_ide/
# Clones applicatifs : hors de ce dépôt (ex. répertoire frère ../projects/). Les confs ia_dev sont dans ./projects/<id>/ (versionnées).
*node_modules/
# Rust build output if docv workspace is present under services/docv/
services/docv/target/
# Surcharges locales pull-sync (cron)
cron/config.local.env
# logs/ : le répertoire reste versionné (README.md, logs/.gitignore) ; aucun fichier journal versionné
logs/**/*.log
# projects/ : ignorer tout répertoire d'id sous projects/ sauf les squelettes versionnés (conf, workspace, etc.)
projects/*
!projects/README.md
!projects/active-project.json.example
!projects/enso/
!projects/enso/**
!projects/smart_ide/
!projects/smart_ide/**
# Projet IDE actif (copie locale de active-project.json.example)
projects/active-project.json