From 19a90727f338ae723be6cb4ec9d81459d5258419 Mon Sep 17 00:00:00 2001 From: Johnny Chen Date: Fri, 26 Jun 2020 23:56:16 +0800 Subject: [PATCH 1/2] update julia upstream --- julia.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/julia.sh b/julia.sh index 4a56062..7fe7fae 100755 --- a/julia.sh +++ b/julia.sh @@ -1,6 +1,6 @@ #!/bin/bash set -e -BASE_URL=${TUNASYNC_UPSTREAM_URL:-"https://pkg.julialang.org"} +BASE_URL=${TUNASYNC_UPSTREAM_URL:-"https://us-east.storage.julialang.org"} [[ -d "${TUNASYNC_WORKING_DIR}" ]] cd "${TUNASYNC_WORKING_DIR}" From 79a6936ecd96a8859fdbb08cdd757d11968b6d7c Mon Sep 17 00:00:00 2001 From: Johnny Chen Date: Sat, 27 Jun 2020 07:28:11 +0800 Subject: [PATCH 2/2] [julia mirror] set timeout 30mins for each package --- julia.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/julia.sh b/julia.sh index 7fe7fae..d9ca8c9 100755 --- a/julia.sh +++ b/julia.sh @@ -9,7 +9,7 @@ export JULIA_CLONES_DIR="$PWD/clones" # timeout (seconds) for individual package instead of the whole mirror process # initialization should use a larger timeout, e.g., 7200 -PKG_TIMEOUT=600 +PKG_TIMEOUT=1800 # update and mirror the General registry git -C registries/General fetch --all