Correct RPI_IMAGE_NAME

This commit is contained in:
Oleg Kalachev
2024-02-06 16:16:51 +03:00
parent b5e2073007
commit 36daaddfb2

View File

@@ -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"