yacloud/tunasync-scripts
1
0
Fork 0
mirror of https://github.com/tuna/tunasync-scripts.git synced 2025-07-01 15:35:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

skip packages that unexpectedly take a long time

Browse Source
This commit is contained in:
Johnny Chen 2020-05-29 12:58:24 +08:00
parent 5a8a0957fc
commit 306960e39b
No known key found for this signature in database
GPG Key ID: A8E1AABB61708099
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dockerfiles/julia/Dockerfile
View File

@ -19,7 +19,7 @@ ENV JULIA_CLONES_DIR="/julia/clones"
# StorageServer.jl is an experimental toolkit and it won't be registered in General
# The API is likely to be changed in the future, so we fix the version here for stability consideration
RUN julia -e 'using Pkg; pkg"add https://github.com/johnnychen94/StorageServer.jl#v0.1.0-beta"'
RUN julia -e 'using Pkg; pkg"add https://github.com/johnnychen94/StorageServer.jl#v0.1.0-rc1"'
RUN chown -R 2000 /tmp/julia/

6
julia.sh
View File

@ -7,8 +7,12 @@ cd "${TUNASYNC_WORKING_DIR}"
export JULIA_STATIC_DIR="$PWD/static"
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
# update and mirror the General registry
git -C registries/General fetch --all
git -C registries/General reset --hard origin/master
exec julia -e "using StorageServer; mirror_tarball(\"registries/General\", [\"$BASE_URL\"])"
exec julia -e "using StorageServer; mirror_tarball(\"registries/General\", [\"$BASE_URL\"]; timeout=$PKG_TIMEOUT)"