Nicolas Cantu
d98e6bce60
- 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
18 lines
703 B
Bash
18 lines
703 B
Bash
# Configuration centralisée — tirage Git des clones (projects/*/conf.json)
|
||
# Fichier versionné : modifier ici ou surcharger dans config.local.env (non versionné).
|
||
#
|
||
# Désactiver complètement l’exécution planifiée (systemd user timer) :
|
||
# PULL_SYNC_ENABLED=0
|
||
|
||
PULL_SYNC_ENABLED=1
|
||
|
||
# all = tous les projets sous projects/*/conf.json (respecte cron.git_pull par projet)
|
||
# project = un seul id (définir PULL_SYNC_PROJECT_ID)
|
||
PULL_SYNC_MODE=all
|
||
# PULL_SYNC_MODE=project
|
||
# PULL_SYNC_PROJECT_ID=smart_ide
|
||
|
||
# Journal append : défaut = <racine smart_ide>/logs/git-pull-projects.log (voir git-pull-wrapper.sh)
|
||
# Surcharge ex. : PULL_SYNC_LOG=/home/user/.local/log/smart_ide-pull.log
|
||
# PULL_SYNC_LOG=
|