Nicolas Cantu d98e6bce60 feat: logs/ for pull-sync and ia_dev; document ia_dev as in-repo module

- Default PULL_SYNC_LOG to logs/git-pull-projects.log; add logs/README and gitignore
- Add services/ia_dev integration README and .env.example
- Replace docs/ia_dev-submodule.md with ia_dev-module.md; update ecosystem and README links
- Point ia_dev submodule to commit with smart_ide_logs.sh

2026-04-03 17:50:49 +02:00

974 B

Raw Blame History

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 (voir .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/.

974 B Raw Blame History

Journaux smart_ide (tâches de fond et ia_dev)

974 B

Raw Blame History