Specify Julia path for better reproducibility

trr266 · Feb 24, 2023 · 3c33866 · 3c33866
1 parent c4bb7e1
commit 3c33866
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -1,5 +1,9 @@
 FROM julia:1.9-rc
 
+ENV JULIA_DEPOT_PATH=/opt/julia
+ENV JULIA_PKGDIR=/opt/julia
+ENV PATH=/root/.julia/conda/3/bin:$PATH
+
 RUN QUARTO_VERSION=1.3.220 \
     && apt-get update && export DEBIAN_FRONTEND=noninteractive \
     && apt-get -qq install -y build-essential git clang wget \
@@ -16,6 +20,4 @@ COPY setup_julia.jl .
 
 RUN julia --project=docs setup_julia.jl
 
-ENV PATH=/root/.julia/conda/3/bin:$PATH
-
 CMD ["quarto", "render", "docs", "--no-execute-daemon"]