From 4100f0690d28b7e09261e382ad10aefb35f34ed7 Mon Sep 17 00:00:00 2001
From: Kaeptenblaubaer <michelkannfliegen@gmail.com>
Date: Fri, 10 May 2024 20:58:24 +0000
Subject: [PATCH] corr Dockerfile & gitpod.yml

---
 .gitpod.Dockerfile | 6 +-----
 .gitpod.yml        | 3 +++
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 4c3a2ca..89fbd44 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -4,8 +4,4 @@ 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 
-RUN sudo echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
-  && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
-  && direnv allow /workspace
-  
\ No newline at end of file
+  && direnv hook bash >> /home/gitpod/.bashrc 
\ No newline at end of file
diff --git a/.gitpod.yml b/.gitpod.yml
index e9819a9..763c05f 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,5 +1,8 @@
 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: julia -e 'include("init.jl")'
   - command: python3 -m http.server 8080 -d docs/build