From 19769302464bce56a83bcac89521cb2457d50309 Mon Sep 17 00:00:00 2001
From: Kaeptenblaubaer <michelkannfliegen@gmail.com>
Date: Sun, 12 May 2024 20:04:25 +0000
Subject: [PATCH] JULIA User Variables

---
 .gitpod.Dockerfile | 2 +-
 .gitpod.yml        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index b68b626..13a4523 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -1,6 +1,6 @@
 FROM gitpod/workspace-postgres
 
-RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.10/julia-1.10.3-linux-x86_64.tar.gz \
+RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz \
   && tar -xvzf julia-1.10.3-linux-x86_64.tar.gz 
 # Install direnv
 RUN sudo apt-get update && sudo apt-get install -y direnv \
diff --git a/.gitpod.yml b/.gitpod.yml
index 81c0414..9c4cb04 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,7 +1,7 @@
 image:
   file: .gitpod.Dockerfile
 tasks:
-  - init: echo 'PATH_add ~/julia-1.10.3/bin' > /workspace/.envrc \
+  - init: echo 'PATH_add ~/julia-$JULIA_BUGFIX_VERSION/bin' > /workspace/.envrc \
      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
      && direnv allow /workspace
   - command: cd . && julia -e 'include("init.jl")'