From e8edd5badbd7d13761917aa77cd134b11fa3435b Mon Sep 17 00:00:00 2001 From: Darcy Wong Date: Tue, 28 Feb 2023 10:01:00 +0700 Subject: [PATCH] fix(android/app): Debug URL_ DOWNLOAD_FILE --- resources/build/build-download-resources.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/build/build-download-resources.sh b/resources/build/build-download-resources.sh index 07cfbfc697..cfe14f6a33 100755 --- a/resources/build/build-download-resources.sh +++ b/resources/build/build-download-resources.sh @@ -32,6 +32,7 @@ function downloadKeyboardPackage() { echo "Downloading ${ID}.kmp from downloads.keyman.com" local URL_DOWNLOAD_FILE=`curl -s "$URL_API_KEYBOARD_VERSION/${ID}" | "$JQ" -r .kmp` + echo "URL_DOWNLOAD_FILE: ${URL_DOWNLOAD_FILE}; jq version: $(jq --version)" curl -f -s "$URL_DOWNLOAD_FILE" -o "$KEYBOARDS_TARGET" || { builder_die "Downloading $KEYBOARDS_TARGET failed with error $?" }