Update .gitpod.Dockerfile

Actuarial-Sciences-for-Africa-ASA · Oct 13, 2023 · 3a8aac0 · 3a8aac0
1 parent 807f1b9
commit 3a8aac0
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -1,14 +1,13 @@
 FROM gitpod/workspace-postgres
 
 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 \
-  && ln -s /home/gitpod/julia-1.8.2 julia
+  && 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 \
-  && echo 'alias runjulia="GENIE_ENV=\"dev\" julia --project=$(pwd)"' >> /home/gitpod/.bashrc \
-  && echo 'alias runtest="GENIE_ENV=\"dev\" julia --project=test bootstrap_tests.jl"' >> /home/gitpod/.bashrc \
   && mkdir -p .config/direnv \
   && echo '[whitelist]' > .config/direnv/config.toml \
-  && echo 'prefix = [ "/workspace" ]' >> .config/direnv/config.toml 
+  && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> .config/direnv/config.toml \
+  && echo 'PATH_add /home/gitpod/julia-1.8.2/bin' > /home/gitpod/.envrc \
+  && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /home/gitpod/.envrc