#!/bin/bash set -e BASE_URL=${TUNASYNC_UPSTREAM_URL:-"https://us-east.storage.julialang.org"} [[ -d "${TUNASYNC_WORKING_DIR}" ]] 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=1800 # 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\"]; timeout=$PKG_TIMEOUT)"