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 direnv
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner committed May 8, 2024
1 parent 900c891 commit cb27a3c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .gitpod.yml
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
image:
file: .gitpod.Dockerfile
tasks:
- command:
- init:
echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace
&& julia -e 'include("init.jl")'
- command: julia -e 'include("init.jl")'
- command: python3 -m http.server 8080 -d docs/build

0 comments on commit cb27a3c

Please sign in to comment.