From 154f6d41829e07bd071e63d01bd5aab64a7e4b14 Mon Sep 17 00:00:00 2001
From: Michael Fliegner <12422482+michaelfliegner@users.noreply.github.com>
Date: Fri, 10 May 2024 22:11:05 +0200
Subject: [PATCH] Update .gitpod.Dockerfile

---
 .gitpod.Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 8317a18..8bfe0a1 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -4,5 +4,8 @@ RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-l
   && 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 \
+  && echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
+  && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
+  && direnv allow /workspace