From d3bd6cb8157258f598e00a86dff07f751a64da07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josu=C3=A9=20Tille?= Date: Wed, 13 Dec 2023 01:10:14 +0100 Subject: [PATCH] Avoid to try to update extension is already up to date --- scripts/_common.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/_common.sh b/scripts/_common.sh index b8d0536..164c43d 100644 --- a/scripts/_common.sh +++ b/scripts/_common.sh @@ -51,6 +51,13 @@ install_exension() { local job_id=$(ynh_string_random) local xq=$install_dir/xq_tool/xq local curl='curl --silent --show-error' + local extension_name_path=$(echo ${extension_id//./%2E} | sed 's|:|%3A|g') + local extension_version_path=${extension_version//./%2E} + + if [ -e "$data_dir/extension/repository/$extension_name_path/$extension_version_path" ]; then + # Return if extension is already installed + return 0 + fi local status_raw local state_request