chore: properly install julia (#191)

Author: vil02

.gitpod.dockerfile

@@ -1,4 +1,9 @@
-FROM gitpod/workspace-full-vnc
+FROM gitpod/workspace-base:2023-10-04-18-52-46
 
-RUN sudo apt-get update \
-    && sudo apt-get install julia -y
+ENV JULIA_TMP="julia_tmp.tar.gz"
+
+RUN test ! -e "${JULIA_TMP}" \
+    && curl https://julialang-s3.julialang.org/bin/linux/x64/1.9/julia-1.9.3-linux-x86_64.tar.gz -sSf -o "${JULIA_TMP}" \
+    && tar zxvf ${JULIA_TMP} \
+    && rm ${JULIA_TMP} \
+    && echo "export PATH=${HOME}/julia-1.9.3/bin/:\$PATH" >> ~/.bashrc