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

Commit

Permalink
JULIA User Variables
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner committed May 12, 2024
1 parent 13a552f commit 1976930
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .gitpod.Dockerfile
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
FROM gitpod/workspace-postgres

RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/1.10/julia-1.10.3-linux-x86_64.tar.gz \
RUN sudo wget https://julialang-s3.julialang.org/bin/linux/x64/$JULIA_MINOR_VERSION/julia-$JULIA_BUGFIX_VERSION-linux-x86_64.tar.gz \
&& tar -xvzf julia-1.10.3-linux-x86_64.tar.gz
# Install direnv
RUN sudo apt-get update && sudo apt-get install -y direnv \
Expand Down
2 changes: 1 addition & 1 deletion .gitpod.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
image:
file: .gitpod.Dockerfile
tasks:
- init: echo 'PATH_add ~/julia-1.10.3/bin' > /workspace/.envrc \
- init: echo 'PATH_add ~/julia-$JULIA_BUGFIX_VERSION/bin' > /workspace/.envrc \
&& echo 'export SEARCHLIGHT_USERNAME="gitpod"' >> /workspace/.envrc \
&& direnv allow /workspace
- command: cd . && julia -e 'include("init.jl")'
Expand Down

0 comments on commit 1976930

Please sign in to comment.