From b8e577bd90fc633b4ab6fc848bf3e804a1680652 Mon Sep 17 00:00:00 2001 From: Davide Grilli Date: Mon, 23 Mar 2026 10:59:52 +0100 Subject: [PATCH] add decompress-skills.sh to extract .skill archives into repo root Co-Authored-By: Claude Sonnet 4.6 --- decompress-skills.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 decompress-skills.sh diff --git a/decompress-skills.sh b/decompress-skills.sh new file mode 100755 index 0000000..291ef66 --- /dev/null +++ b/decompress-skills.sh @@ -0,0 +1,27 @@ +#!/bin/bash +# decompress-skills.sh +# Extracts each .skill file (ZIP archive) into the repo root. + +set -e + +SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" + +# Allow an optional source directory argument (default: current dir) +SRC_DIR="${1:-$SCRIPT_DIR}" + +shopt -s nullglob +skill_files=("$SRC_DIR"/*.skill) + +if [[ ${#skill_files[@]} -eq 0 ]]; then + echo "No .skill files found in $SRC_DIR" + exit 0 +fi + +for skill_file in "${skill_files[@]}"; do + skill_name="$(basename "$skill_file" .skill)" + echo " [UNZIP] $skill_name.skill → $skill_name/" + unzip -o "$skill_file" -d "$SCRIPT_DIR" +done + +echo "" +echo "==> Done."