From 934211827f4511de7d682dd1f8df348b2f9b9bf2 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 10 Dec 2021 09:04:18 +0100 Subject: [PATCH] Update Julia to 1.7.0 --- langs/julia.yaml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/langs/julia.yaml b/langs/julia.yaml index 6072bb94..c9b35acd 100644 --- a/langs/julia.yaml +++ b/langs/julia.yaml @@ -4,12 +4,12 @@ aliases: name: "Julia" install: - prepare: - apt: - - julia - apt: - - julia manual: | + wget https://julialang-s3.julialang.org/bin/linux/x64/1.7/julia-1.7.0-linux-x86_64.tar.gz + tar xvf julia-*.tar.gz + rm julia-*.tar.gz + ln -s julia-*/bin/julia /usr/local/bin/julia + install -d "${pkg}/opt/julia-language-server" export JULIA_DEPOT_PATH="${pkg}/opt/julia-language-server"