From 36daaddfb27d7a14bd1fd285b1e7bae38372db58 Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Tue, 6 Feb 2024 16:16:51 +0300
Subject: [PATCH] Correct RPI_IMAGE_NAME

---
 builder/image-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/builder/image-build.sh b/builder/image-build.sh
index 75df58c1..fee908d6 100755
--- a/builder/image-build.sh
+++ b/builder/image-build.sh
@@ -61,7 +61,7 @@ get_image() {
   # TEMPLATE: get_image <IMAGE_PATH> <RPI_DONWLOAD_URL>
   local BUILD_DIR=$(dirname $1)
   local RPI_ZIP_NAME=$(basename $2)
-  local RPI_IMAGE_NAME=$(echo ${RPI_ZIP_NAME} | sed 's/zip/img/')
+  local RPI_IMAGE_NAME=$(echo ${RPI_ZIP_NAME} | sed 's/\.xz//')
 
   if [ ! -e "${BUILD_DIR}/${RPI_ZIP_NAME}" ]; then
     echo_stamp "Downloading original Linux distribution"