try workspace build

Actuarial-Sciences-for-Africa-ASA · May 7, 2024 · b89d1ca · b89d1ca
1 parent 8d4badc
commit b89d1ca
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 7 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -5,9 +5,9 @@ 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 \
-  && mkdir -p .config/direnv \
-  && 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 
+  && mkdir -p .config/direnv 
+  # && 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,8 +2,10 @@ image:
   file: .gitpod.Dockerfile
 tasks:
   - init:
-     cd .. &&
-     echo 'PATH_add ~/julia-1.8.0/bin' > .envrc \
+     echo '[whitelist]' > .config/direnv/config.toml \
+     && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> .config/direnv/config.toml \
+     && cd .. \
+     && echo 'PATH_add ~/julia-1.8.2/bin' > .envrc \
      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> .envrc \
      && direnv allow /workspace 
   - command: python3 -m http.server 8080 -d docs/build