From d0368b838d7dc3a7bfa1b3eb6f67ff3c96ebef35 Mon Sep 17 00:00:00 2001
From: MateoPeri <mateoperi@pm.me>
Date: Fri, 11 Feb 2022 14:28:51 +0000
Subject: [PATCH] code-server:julia replaced wget with curl

---
 root/etc/cont-init.d/98-julia | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/root/etc/cont-init.d/98-julia b/root/etc/cont-init.d/98-julia
index 9275ec1..c48ed82 100644
--- a/root/etc/cont-init.d/98-julia
+++ b/root/etc/cont-init.d/98-julia
@@ -11,9 +11,9 @@ gh_latest() {
 JULIA_VERSION=$(gh_latest julialang julia)
 
 # Julia
-wget -q -q 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-${JULIA_VERSION}-linux-x86_64.tar.gz
-rm -R julia-${JULIA_VERSION}-linux-x86_64.tar.gz
+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