Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Commit

Permalink
Update .gitpod.Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner authored May 10, 2024
1 parent 2f191c7 commit 154f6d4
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion .gitpod.Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,8 @@ 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
&& direnv hook bash >> /home/gitpod/.bashrc \
&& echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace

0 comments on commit 154f6d4

Please sign in to comment.