code-server:julia changed julia install

This commit is contained in:
MateoPeri 2022-02-11 15:13:54 +00:00
parent b1d9c71726
commit 2e3e95e194

View File

@ -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