From 61e6c6b359576a8bfa573482277ac56ee3a6d048 Mon Sep 17 00:00:00 2001 From: z4yx Date: Mon, 25 May 2020 11:11:39 +0800 Subject: [PATCH] Add julia.sh --- julia.sh | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 julia.sh diff --git a/julia.sh b/julia.sh new file mode 100755 index 0000000..bccdd2f --- /dev/null +++ b/julia.sh @@ -0,0 +1,7 @@ +#!/bin/bash +set -e +BASE_URL=${TUNASYNC_UPSTREAM_URL:-"pkg.julialang.org"} +[[ -d "${TUNASYNC_WORKING_DIR}" ]] +cd "${TUNASYNC_WORKING_DIR}" +exec julia -e "using StorageServer; mirror_tarball(\"registries/General\", [\"$BASE_URL\"])" +