corr Dockerfile & gitpod.yml

Actuarial-Sciences-for-Africa-ASA · May 10, 2024 · 4100f06 · 4100f06
1 parent 15afacb
commit 4100f06
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git 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
-
+  && direnv hook bash >> /home/gitpod/.bashrc 
diff --git 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