From 405df0ba278388badd2cf5890d7944abf951d0f0 Mon Sep 17 00:00:00 2001 From: Kaeptenblaubaer Date: Tue, 7 May 2024 17:57:04 +0000 Subject: [PATCH] corr gitpod init --- .gitpod.Dockerfile | 3 +-- .gitpod.yml | 6 ++++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index 96d7c1a..f28addb 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -4,8 +4,7 @@ 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 \ - && mkdir -p .config/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 \ diff --git a/.gitpod.yml b/.gitpod.yml index 34a4405..ac31b25 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -2,8 +2,10 @@ image: file: .gitpod.Dockerfile tasks: - init: - echo '[whitelist]' > .config/direnv/config.toml \ - && echo 'prefix = [ "/workspace", "/home/gitpod"]' >> .config/direnv/config.toml \ + mkdir -p .config/direnv \ + && echo "hier" > bubu.txt \ + && 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 \