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

Commit

Permalink
gitpod.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner committed May 14, 2024
1 parent fc66e14 commit c0e7f4c
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions .gitpod.yml
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
image:
file: .gitpod.Dockerfile
tasks:
- init: cd ~ && echo $JULIA_BUGFIX_VERSION > bubu.txt \
&& curl -L https://storage.googleapis.com/julialang2/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz -o julia.tgz \
&& tar -xzf julia.tgz && rm julia.tgz \
- init: cd ~ && wget https://storage.googleapis.com/julialang2/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz && tar -xzf julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz && rm julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz \
&& echo "PATH_add ~/julia-$JULIA_BUGFIX_VERSION/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
- command: python3 -m http.server 8080 -d docs/build

0 comments on commit c0e7f4c

Please sign in to comment.