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 \