Skip to content
This repository has been archived by the owner on Apr 1, 2022. It is now read-only.

Commit

Permalink
(#10) v0.1.1:
Browse files Browse the repository at this point in the history
* (#9) Update the base images and fix the permissions.
  • Loading branch information
Pavel Sobolev committed Aug 28, 2020
2 parents 99bbe0f + e4e7f9e commit d7a8415
Show file tree
Hide file tree
Showing 4 changed files with 16 additions and 10 deletions.
2 changes: 1 addition & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
language: shell
dist: bionic
dist: focal

os:
- linux
Expand Down
19 changes: 12 additions & 7 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
# Pull the image containing Julia
FROM paveloom/binder-julia:0.1.0 AS binder-julia
FROM paveloom/binder-julia:0.1.1 AS binder-julia

# Base image
FROM paveloom/binder-tex:0.1.0
FROM paveloom/binder-tex:0.1.1

# Meta information
LABEL maintainer="Pavel Sobolev (https://github.com/Paveloom)"
LABEL version="0.1.0"
LABEL version="0.1.1"
LABEL description="If `paveloom/binder-julia` and `paveloom/binder-tex` had a baby."
LABEL github-repository="https://github.com/paveloom-d/binder-julia-plots"
LABEL docker-repository="https://hub.docker.com/r/paveloom/binder-julia-plots"
Expand All @@ -17,14 +17,19 @@ COPY scripts /scripts
# Allow their execution
RUN sudo chmod -R +x /scripts

# Add `/usr/other/$USER/julia/bin` to the `PATH`
ENV PATH=$PATH:/usr/other/$USER/julia/bin
# Create a hidden folder for the user
RUN sudo mkdir -p /usr/other/$USER && \
sudo chgrp -R $USER /usr/other/$USER && \
sudo chmod -R g+w /usr/other/$USER

# Copy the Julia binaries folder
COPY --from=binder-julia /usr/other/$USER/julia /usr/other/$USER/julia
COPY --from=binder-julia --chown=$USER:$USER /usr/other/$USER/julia /usr/other/$USER/julia

# Copy the Julia environment
COPY --from=binder-julia $HOME/.julia $HOME/.julia
COPY --from=binder-julia --chown=$USER:$USER $HOME/.julia $HOME/.julia

# Add `/usr/other/$USER/julia/bin` to the `PATH`
ENV PATH=$PATH:/usr/other/$USER/julia/bin

# Install Julia packages
RUN /scripts/user/julia/install-julia-packages.sh
Expand Down
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ plots. See more details about the content of the image under the spoiler.
<li>
Julia environment
from <a href=https://github.com/paveloom-d/binder-julia>paveloom/binder-julia</a>
(0.1.0)
(0.1.1)
<ul>
<li>Packages</li>
<ul>
Expand Down Expand Up @@ -56,4 +56,5 @@ FROM paveloom/binder-julia-plots:tag

where the `tag` is one of the following:

* [0.1.1](https://github.com/paveloom-d/binder-julia-plots/releases/tag/v0.1.1)
* [0.1.0](https://github.com/paveloom-d/binder-julia-plots/releases/tag/v0.1.0)
2 changes: 1 addition & 1 deletion binder/Dockerfile
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# Base image
FROM paveloom/binder-julia-plots:0.1.0
FROM paveloom/binder-julia-plots:0.1.1

# Get the example notebook
RUN wget https://raw.githubusercontent.com/paveloom-d/binder-julia-plots/master/examples/example.ipynb >/dev/null 2>&1

0 comments on commit d7a8415

Please sign in to comment.