From 8c04da2f3638862feae8441844a93fb02449a3c8 Mon Sep 17 00:00:00 2001 From: Debian Julia Team Date: Wed, 4 Nov 2020 07:56:54 +0000 Subject: [PATCH] Let the upstream downloader used during build be verbose, Last-Update: 20180711 Forwarded: no need and prevent it from accessing internet. Gbp-Pq: Name jldownload-verbose-fakedownload.patch --- deps/tools/jldownload | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/deps/tools/jldownload b/deps/tools/jldownload index 9982219..5dd16cd 100755 --- a/deps/tools/jldownload +++ b/deps/tools/jldownload @@ -2,6 +2,7 @@ # # usage: jldownload [] # +set -x CACHE_HOST=https://cache.julialang.org @@ -44,4 +45,8 @@ fi # forward to the original URL if it has not cached this download yet, or # if the URL is not cacheable. We fallback to directly querying the # uncached URL to protect against cache service downtime -$GETURL $CACHE_URL || $GETURL $URL +#$GETURL $CACHE_URL || $GETURL $URL +DEST_URL=$(echo "$GETURL"|awk '{print $NF}'|sed 's#^.*file://##') +ORIG_URL=$(echo "$URL"|awk '{print $NF}'|sed 's#^.*file://##') +CP=$(which cp) +$CP "$ORIG_URL" "$DEST_URL" -- 2.30.2