yacloud/tunasync-scripts
1
0
Fork 0
mirror of https://github.com/tuna/tunasync-scripts.git synced 2025-04-20 04:12:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #78 from johnnychen94/patch-1

Browse Source 
update julia upstream
This commit is contained in:
Yuxiang Zhang 2020-06-27 09:02:56 +08:00 committed by GitHub
commit e8569b6bfb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
julia.sh
View File

@ -1,6 +1,6 @@
#!/bin/bash #!/bin/bash
set -e 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}" ]] [[ -d "${TUNASYNC_WORKING_DIR}" ]]
cd "${TUNASYNC_WORKING_DIR}" cd "${TUNASYNC_WORKING_DIR}"
@ -9,7 +9,7 @@ export JULIA_CLONES_DIR="$PWD/clones"
# timeout (seconds) for individual package instead of the whole mirror process # timeout (seconds) for individual package instead of the whole mirror process
# initialization should use a larger timeout, e.g., 7200 # initialization should use a larger timeout, e.g., 7200
PKG_TIMEOUT=600 PKG_TIMEOUT=1800
# update and mirror the General registry # update and mirror the General registry
git -C registries/General fetch --all git -C registries/General fetch --all