34 lines
849 B
Bash
34 lines
849 B
Bash
|
#!/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}"
|