From 2e3e95e194f7fed2a2ebd2a5b083954e0059c438 Mon Sep 17 00:00:00 2001 From: MateoPeri Date: Fri, 11 Feb 2022 15:13:54 +0000 Subject: [PATCH] code-server:julia changed julia install --- root/etc/cont-init.d/98-julia | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/root/etc/cont-init.d/98-julia b/root/etc/cont-init.d/98-julia index 63f8962..277a7d5 100644 --- a/root/etc/cont-init.d/98-julia +++ b/root/etc/cont-init.d/98-julia @@ -11,10 +11,11 @@ gh_latest() { JULIA_VERSION=$(gh_latest julialang julia) # Julia +cd /home/root curl -so julia.tar.gz https://julialang-s3.julialang.org/bin/linux/x64/`echo ${JULIA_VERSION} | cut -d. -f 1,2`/julia-${JULIA_VERSION}-linux-x86_64.tar.gz tar fxz julia.tar.gz rm -R julia.tar.gz -mv julia-${JULIA_VERSION}/bin/julia /usr/local/bin +ln -s $(pwd)/julia-${JULIA_VERSION}/bin/julia /usr/local/bin/julia # extensions