# Un seul projet : préférer éditer cron/config.env (PULL_SYNC_MODE=project, PULL_SYNC_PROJECT_ID=smart_ide)
# puis ./cron/git-pull-wrapper.sh depuis crontab, ou systemd (install-git-pull-systemd-user.sh).
#
# */15 * * * * USER cd SMART_IDE_ROOT && ./cron/git-pull-wrapper.sh