History

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

.gitignore

chore(git): keep logs/ in repo but ignore all log files

2026-04-03 18:11:42 +02:00

README.md

chore(git): keep logs/ in repo but ignore all log files

2026-04-03 18:11:42 +02:00

README.md

Journaux smart_ide (tâches de fond et ia_dev)

Les fichiers *.log sous ce répertoire sont produits localement par la machine qui exécute les timers systemd utilisateur, les cron, ou les scripts ia_dev. Ils ne sont pas versionnés : règle logs/**/*.log à la racine du dépôt et **/*.log dans ce répertoire (logs/.gitignore).

Fichier	Origine
`git-pull-projects.log`	Tirage Git planifié des clones (`cron/git-pull-wrapper.sh`), variable `PULL_SYNC_LOG` dans `cron/config.env`.
`ia_dev.log`	Exécutions des scripts shell sous `ia_dev/` lorsque ce dépôt est un checkout smart_ide avec `ia_dev` au bon emplacement (détection via `cron/git-pull-wrapper.sh` ou `projects/smart_ide/`).

Variable interne utilisée par les scripts : SMART_IDE_LOG_IA_DEV_ROOT (racine ia_dev), posée par ia_dev/lib/smart_ide_logs.sh.

Service métier associé : services/ia_dev/.