corr gitpod init direnv

Actuarial-Sciences-for-Africa-ASA · May 8, 2024 · 900c891 · 900c891
1 parent 4a9d12c
commit 900c891
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -5,8 +5,4 @@ RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-l
 # Install direnv
 RUN sudo apt-get update && sudo apt-get install -y direnv \
   && direnv hook bash >> /home/gitpod/.bashrc 
-  # && echo '[whitelist]' > .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 
 
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -2,12 +2,8 @@ image:
   file: .gitpod.Dockerfile
 tasks:
   - command:
-     mkdir -p ~/.config/direnv \
-     && echo '[whitelist]' > ~/.config/direnv/config.toml \
-     && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> ~/.config/direnv/config.toml \
-     && echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
+     echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
      && direnv allow /workspace
      && julia -e 'include("init.jl")'
   - command: python3 -m http.server 8080 -d docs/build
-  - command: gp preview $(gp url 8080)