From 0b0c4599a0fcc80545c8d98ba30613923c62c586 Mon Sep 17 00:00:00 2001 From: Michael Fliegner <12422482+michaelfliegner@users.noreply.github.com> Date: Sat, 11 May 2024 08:34:06 +0200 Subject: [PATCH] Update .gitpod.Dockerfile --- .gitpod.Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index fd2ec15..8317a18 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -1,8 +1,8 @@ FROM gitpod/workspace-postgres -RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.0-linux-x86_64.tar.gz \ +RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-linux-x86_64.tar.gz \ && tar -xvzf julia-1.8.2-linux-x86_64.tar.gz # Install direnv RUN sudo apt-get update && sudo apt-get install -y direnv \ - && direnv hook bash >> /home/gitpod/.bashrc + && direnv hook bash >> /home/gitpod/.bashrc