From dcf8f6c649233be14a11e42398cf860a3e980e43 Mon Sep 17 00:00:00 2001 From: henrik Date: Sun, 31 May 2026 12:20:54 +0200 Subject: [PATCH] Update download.sh --- download.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/download.sh b/download.sh index 2557c7d..dd576eb 100755 --- a/download.sh +++ b/download.sh @@ -64,7 +64,7 @@ EXTENSION=.json FILENAME=$(echo "$URL" | sed -E 's|^https?://||' | sed -E 's|^www\.||' | sed 's|/$||' | sed 's|/|-|g') # Add extension to the filename -FILENAME="${FILENAME}${EXTENSION}" +FILENAME="${FILENAME}" # Make sure we don't end up with just an extension if [ "$FILENAME" = "${EXTENSION}" ]; then