Merge branch 'johnnychen94-jc/julia'

This commit is contained in:
z4yx 2020-05-25 11:11:51 +08:00
commit 38b07e79f7
2 changed files with 38 additions and 0 deletions

View File

@ -0,0 +1,31 @@
# For the details and usage of this docker script, please refer to:
# * https://github.com/tuna/tunasync-scripts/pull/71
# * https://github.com/tuna/issues/issues/837
# jill.py requires at least Python 3.6
FROM python:3.6
LABEL description="A community maintained docker script to set up julia mirror easily."
LABEL maintainer="Johnny Chen <johnnychen94@hotmail.com>"
ENV JULIA_DEPOT_PATH="/tmp/julia"
ENV JULIA_STATIC_DIR="/julia/static"
ENV JULIA_CLONES_DIR="/julia/clones"
# jill.py provides two functionalities:
# 1) mirror julia binary releases
# 2) install julia in one line
# FYI: the jill API is quite stable so the version doesn't matter much (it could be okay to set >=0.6.9)
RUN pip install --upgrade pip && \
pip install jill==0.6.9 && \
pip cache purge
# StorageServer.jl is used to set up a *static* storage server for julia packages, it requires at least Julia 1.4
# The details of the storage protocol can be found in https://github.com/JuliaLang/Pkg.jl/issues/1377
RUN jill install 1.4 --confirm
# 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.1"'
WORKDIR /julia
CMD /bin/bash

7
julia.sh Executable file
View File

@ -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\"])"