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

Commit

Permalink
corr init
Browse files Browse the repository at this point in the history
  • Loading branch information
@michaelfliegner
michaelfliegner committed May 7, 2024
1 parent 47e0bbb commit 8f16c6f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .gitpod.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,9 @@ tasks:
&& 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 \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace
&& echo 'PATH_add ~/julia-1.8.2/bin' > .envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> .envrc \
&& direnv allow .
- command: python3 -m http.server 8080 -d docs/build
- command: gp preview $(gp url 8080)
- command: runjulia -e 'include("init.jl")'

0 comments on commit 8f16c6f

Please sign in to comment.