#!/usr/bin/env bash set -euo pipefail REPO_URL="${REPO_URL:-https://fun-md.com/Fun_MD/devops-skills.git}" SKILL_NAME="gitea-issue-devops-agent" CODEX_HOME="${CODEX_HOME:-$HOME/.codex}" TARGET_DIR="${CODEX_HOME}/skills/${SKILL_NAME}" TMP_DIR="$(mktemp -d)" cleanup() { rm -rf "$TMP_DIR" } trap cleanup EXIT if ! command -v git >/dev/null 2>&1; then echo "[install] git is required but not found." exit 1 fi echo "[install] downloading ${SKILL_NAME} from ${REPO_URL}" git clone --depth 1 "$REPO_URL" "$TMP_DIR/repo" >/dev/null 2>&1 if [ ! -d "$TMP_DIR/repo/skills/${SKILL_NAME}" ]; then echo "[install] skill directory not found in repository." exit 1 fi mkdir -p "${CODEX_HOME}/skills" rm -rf "$TARGET_DIR" cp -R "$TMP_DIR/repo/skills/${SKILL_NAME}" "$TARGET_DIR" echo "[install] done" echo "[install] installed path: ${TARGET_DIR}"