diff --git a/bin/codex-skills-sync.sh b/bin/codex-skills-sync.sh index 1eb73b8..88fcb1a 100755 --- a/bin/codex-skills-sync.sh +++ b/bin/codex-skills-sync.sh @@ -42,6 +42,13 @@ if ! command -v rsync >/dev/null 2>&1; then exit 3 fi +# Skip on CI environments where ~/.codex is not present and CODEX_HOME is not set. +# Codex skills sync is a local developer tool; CI runners do not have a Codex installation. +if [[ -z "${CODEX_HOME:-}" ]] && [[ ! -d "${HOME}/.codex" ]]; then + echo "[SKIP] Codex home not found and CODEX_HOME not set — skipping on this host." + exit 0 +fi + script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)" repo_root="$(cd -- "${script_dir}/.." && pwd)" source_dir="${repo_root}/.agents/skills"