From 027daa7ba229772c77f74e0a3d3d65b7ac8ed47d Mon Sep 17 00:00:00 2001 From: Darcy Wong Date: Thu, 5 Feb 2026 13:30:23 +0700 Subject: [PATCH 1/2] fix: Fail build if curl of cached file fails --- resources/external.inc.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/resources/external.inc.sh b/resources/external.inc.sh index 3ae84786..343e4e34 100644 --- a/resources/external.inc.sh +++ b/resources/external.inc.sh @@ -130,17 +130,17 @@ retrieve_cached_model() { case "$extension" in js) local js_filename=`curl "$query" | $JQ -r '.[].jsFilename'` - curl -s -L "$js_filename" --output "$path$filename" --create-dirs || die "Unable to download $js_filename" + curl -s -L -f "$js_filename" --output "$path$filename" --create-dirs || builder_die "Unable to download $js_filename" ;; kmp) local kmp_filename=`curl "$query" | $JQ -r '.[].packageFilename'` - curl -s -L "$kmp_filename" --output "$path$filename" --create-dirs || die "Unable to download $kmp_filename" + curl -s -L -f "$kmp_filename" --output "$path$filename" --create-dirs || builder_die "Unable to download $kmp_filename" ;; model_info) # .model_info is downloaded up a level (not at $path) local version=`curl "$query" | $JQ -r '.[].version'` local model_info_filename="https://downloads.keyman.com/models/${model_id}/${version}/${model_id}.model_info" - curl -s -L "$model_info_filename" --output "$model_id.model_info" --create-dirs || die "Unable to download $model_info_filename" + curl -s -L -f "$model_info_filename" --output "$filename" --create-dirs || builder_die "Unable to download $model_info_filename" ;; *) die "$path $filename had unexpected extension (expecting js, kmp, or model_info)" From 732ccdedfeaae971731b720e89d1ef2af797eb11 Mon Sep 17 00:00:00 2001 From: Darcy Wong Date: Fri, 6 Feb 2026 06:44:00 +0700 Subject: [PATCH 2/2] Update resources/external.inc.sh Co-authored-by: Marc Durdin --- resources/external.inc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/external.inc.sh b/resources/external.inc.sh index 343e4e34..10af5dbf 100644 --- a/resources/external.inc.sh +++ b/resources/external.inc.sh @@ -139,7 +139,7 @@ retrieve_cached_model() { model_info) # .model_info is downloaded up a level (not at $path) local version=`curl "$query" | $JQ -r '.[].version'` - local model_info_filename="https://downloads.keyman.com/models/${model_id}/${version}/${model_id}.model_info" + local model_info_filename="https://downloads.keyman.com/models/${model_id}/${version}/${filename}" curl -s -L -f "$model_info_filename" --output "$filename" --create-dirs || builder_die "Unable to download $model_info_filename" ;; *)