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

Commit

Permalink
Update .gitpod.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner authored May 10, 2024
1 parent 3c2604c commit 2f191c7
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions .gitpod.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
image:
file: .gitpod.Dockerfile
tasks:
- init: echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace
- command: julia -e 'include("init.jl")'
- command: python3 -m http.server 8080 -d docs/build

0 comments on commit 2f191c7

Please sign in to comment.