Nicolas Cantu
ac96434351
**Motivations:** - Single canonical documentation tree under docs/; reduce drift between README copies. **Evolutions:** - Add docs/repo/ with operational guides (cron, systemd, projects, logs, docv, ia_dev, services, scripts, extension). - Replace scattered README.md files with pointers to docs/repo/*.md. - Refresh docs/README.md index and cross-links across docs/, .cursor rules/agents. - Bump ia_dev submodule to matching doc pointer commits.
1.0 KiB
1.0 KiB
Journaux smart_ide (logs/)
Le répertoire logs/ est versionné comme conteneur (fichiers README.md, .gitignore) ; les fichiers *.log produits sur chaque machine restent hors Git (règles logs/**/*.log à la racine du dépôt et **/*.log dans logs/.gitignore).
Fichiers courants
| Fichier | Origine |
|---|---|
git-pull-projects.log |
Tirage Git planifié (cron/git-pull-wrapper.sh), variable PULL_SYNC_LOG dans cron/config.env |
ia_dev.log |
Exécutions shell sous ia_dev/ lorsque le checkout est détecté comme monorepo smart_ide (cron/git-pull-wrapper.sh ou projects/smart_ide/ au-dessus de ia_dev/) |
Variable interne : SMART_IDE_LOG_IA_DEV_ROOT (racine ia_dev), posée par ia_dev/lib/smart_ide_logs.sh.
Intégration
Contrat service : ia-dev-smart-ide-integration.md, implémentation ia_dev/lib/smart_ide_logs.sh.
Configuration du pull planifié : cron-git-pull.md.