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 8f16c6f commit 5c2aeb0
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .gitpod.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@ tasks:
mkdir -p ~/.config/direnv \
&& chown gitpod ~/.config/direnv \
&& echo '[whitelist]' > ~/.config/direnv/config.toml \
&& chown gitpod ~/.config/direnv/config.toml \
&& echo 'prefix = [ "/workspace", "/home/gitpod"]' >> ~/.config/direnv/config.toml \
&& echo 'PATH_add ~/julia-1.8.2/bin' > .envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> .envrc \
&& direnv allow .
&& echo 'PATH_add ~/julia-1.8.2/bin' > /workspace/.envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace
- 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 5c2aeb0

Please sign in to comment.