corr gitpod init

Actuarial-Sciences-for-Africa-ASA · May 7, 2024 · 0493138 · 0493138
1 parent 405df0b
commit 0493138
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/.envrc b/.envrc
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -2,11 +2,9 @@ image:
   file: .gitpod.Dockerfile
 tasks:
   - init:
-     mkdir -p .config/direnv \
-     && echo "hier" > bubu.txt \
+     mkdir -p ~/.config/direnv \
      && echo '[whitelist]' > ~/.config/direnv/config.toml \
      && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> ~/.config/direnv/config.toml \
-     && cd .. \
      && echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
      && echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
      && direnv allow /workspace