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

Commit

Permalink
corr gitpod init
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner committed May 7, 2024
1 parent 0493138 commit 47e0bbb
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitpod.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ image:
tasks:
- init:
mkdir -p ~/.config/direnv \
&& chown gitpod ~/.config/direnv \
&& echo '[whitelist]' > ~/.config/direnv/config.toml \
&& echo 'prefix = [ "/workspace", "/home/gitpod"]' >> ~/.config/direnv/config.toml \
&& echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
Expand Down

0 comments on commit 47e0bbb

Please sign in to comment.