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

Commit

Permalink
Update .gitpod.Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner authored May 20, 2024
1 parent bb2b3b8 commit 177524b
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions .gitpod.Dockerfile
Original file line number Diff line number Diff line change
@@ -1,5 +1,13 @@
FROM gitpod/workspace-postgres
# Install direnv
ARG JULIA_URL="https://julialang-s3.julialang.org/bin/linux/x64/1.10/julia-1.10.3-linux-x86_64.tar.gz"
ARG JULIA_MINOR_VERSION="1.10"
ARG JULIA_BUGFIX_VERSION="1.10.3"

RUN sudo apt-get update && sudo apt-get install -y direnv \
&& direnv hook bash >> /home/gitpod/.bashrc
&& direnv hook bash >> /home/gitpod/.bashrc \
&& echo "export PATH=/home/gitpod/julia/bin:$PATH" >> /home/gitpod/.bashrc
RUN sudo curl -L "${JULIA_URL}" | tar -xzf - \
&& mv julia-${JULIA_BUGFIX_VERSION} julia
RUN export PATH=/home/gitpod/julia/bin:$PATH \
&& julia -e "using Pkg; Pkg.add(\"IJulia\")"

0 comments on commit 177524b

Please sign in to comment.