From fec6d5e7d22301d3348957ff2caf9fcf63acf972 Mon Sep 17 00:00:00 2001 From: The-Decans-Project Date: Sat, 18 Oct 2025 19:10:52 -0400 Subject: [PATCH] Delete scripts directory --- scripts/unzip_jr.sh | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 scripts/unzip_jr.sh diff --git a/scripts/unzip_jr.sh b/scripts/unzip_jr.sh deleted file mode 100644 index 1065288..0000000 --- a/scripts/unzip_jr.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -# Finds a jr*.zip file in the repo root and unzips into ./jr -ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" -cd "$ROOT_DIR" - -ZIP=$(ls jr*.zip 2>/dev/null | head -n1 || true) -if [[ -z "$ZIP" ]]; then - echo "No jr*.zip file found in $ROOT_DIR. Place your jr archive as jr.zip or similar." - exit 1 -fi - -echo "Unzipping $ZIP -> $ROOT_DIR/jr" -mkdir -p "$ROOT_DIR/jr" -unzip -o "$ZIP" -d "$ROOT_DIR/jr" -echo "Done."