From 177524bf90437b2cad0867fc36eee9e3289053ea Mon Sep 17 00:00:00 2001
From: Michael Fliegner <12422482+michaelfliegner@users.noreply.github.com>
Date: Mon, 20 May 2024 20:12:37 +0200
Subject: [PATCH] Update .gitpod.Dockerfile

---
 .gitpod.Dockerfile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 83127ac..3c6c7c6 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -1,5 +1,13 @@
 FROM gitpod/workspace-postgres
-# Install direnv
+ARG JULIA_URL="https://julialang-s3.julialang.org/bin/linux/x64/1.10/julia-1.10.3-linux-x86_64.tar.gz" 
+ARG JULIA_MINOR_VERSION="1.10"
+ARG JULIA_BUGFIX_VERSION="1.10.3"
+
 RUN sudo apt-get update && sudo apt-get install -y direnv \
-  && direnv hook bash >> /home/gitpod/.bashrc
+  && direnv hook bash >> /home/gitpod/.bashrc \
+  && echo "export PATH=/home/gitpod/julia/bin:$PATH" >> /home/gitpod/.bashrc
+RUN sudo curl -L "${JULIA_URL}" | tar -xzf - \
+  && mv julia-${JULIA_BUGFIX_VERSION} julia 
+RUN export PATH=/home/gitpod/julia/bin:$PATH \
+  && julia -e "using Pkg; Pkg.add(\"IJulia\")"