From 10a3149da090d1a7028cdfe504efc285b297339c Mon Sep 17 00:00:00 2001
From: Michael Fliegner <12422482+michaelfliegner@users.noreply.github.com>
Date: Tue, 14 May 2024 13:05:10 +0200
Subject: [PATCH] Update .gitpod.yml

---
 .gitpod.yml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index a0da2cd..22e8355 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,10 +1,12 @@
-
 image:
   file: .gitpod.Dockerfile
 tasks:
-  - init: echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
-     && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
-     && direnv allow /workspace
-  - command: cd . && julia -e 'include("init.jl")'
+  - init: >
+      cd ~ && curl -L https://storage.googleapis.com/julialang2/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz 
+      | tar -xzf -
+      && echo "PATH_add ~/julia-$JULIA_BUGFIX_VERSION/bin" > /workspace/.envrc 
+      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc 
+      && direnv allow /workspace
+  - command: julia -e 'include("init.jl")'
   - command: python3 -m http.server 8080 -d docs/build
   - command: julia -e 'using Pkg; Pkg.activate("."); Pkg.instantiate();include("testCreateContract.jl"); include("testPendingMutations.jl")'