@@ -12,11 +12,11 @@ ARG NOTEBOOK_IMAGE
1212ARG NOTEBOOK_MAINTAINER
1313
1414# Defining labels
15- LABEL MAINTAINER ="I&D/SAT/AAM"
16- LABEL GIT_PROJECT =${GIT_PROJECT}
17- LABEL GIT_BRANCH =${GIT_BRANCH}
18- LABEL GIT_COMMIT_AUTHOR =${GIT_COMMIT_AUTHOR}
19- LABEL GIT_COMMIT_SHA =${GIT_COMMIT_SHA}
15+ LABEL maintainer ="I&D/SAT/AAM"
16+ LABEL git-project =${GIT_PROJECT}
17+ LABEL git-branch =${GIT_BRANCH}
18+ LABEL git-commit-author =${GIT_COMMIT_AUTHOR}
19+ LABEL git-commit-sha =${GIT_COMMIT_SHA}
2020
2121ENV DEFAULT_SWITCH_DIR="/opt/opam/switches/default"
2222ENV KERNEL_DIR="/opt/conda/share/jupyter/kernels/ocaml-jupyter-default"
@@ -34,8 +34,8 @@ ENV NOTEBOOK_GIT_BRANCH=${GIT_BRANCH}
3434ENV NOTEBOOK_GIT_COMMIT_SHA=${GIT_COMMIT_SHA}
3535
3636# Installing OPAM + OCAML requirements
37- RUN apt update --yes && \
38- apt install --yes --no-install-recommends \
37+ RUN apt-get update --yes && \
38+ apt-get install --yes --no-install-recommends \
3939 make \
4040 gcc \
4141 opam \
@@ -45,12 +45,12 @@ RUN apt update --yes && \
4545 libgmp-dev \
4646 libzmq5-dev \
4747 rsync && \
48- apt clean && \
48+ apt-get clean && \
4949 rm -rf /var/lib/apt/lists/*
5050
5151# Creating the base ocaml switch and kernel dirs, and setting suitable ownership
52- RUN mkdir -p ${DEFAULT_SWITCH_DIR} && \
53- chown -Rv ${NB_USER}:${NB_GROUP} ${DEFAULT_SWITCH_DIR}
52+ RUN mkdir -p " ${DEFAULT_SWITCH_DIR}" && \
53+ chown -Rv " ${NB_USER}:${NB_GROUP}" " ${DEFAULT_SWITCH_DIR}"
5454
5555
5656# Switching to NB_USER for local tools/libs installation
@@ -64,8 +64,8 @@ RUN opam init --yes \
6464 --bare \
6565 --auto-setup \
6666 --shell bash && \
67- opam switch create --empty ${DEFAULT_SWITCH_DIR} && \
68- eval $(opam env --switch=/opt/opam/switches/default --set-switch) && \
67+ opam switch create --empty " ${DEFAULT_SWITCH_DIR}" && \
68+ eval " $(opam env --switch=/opt/opam/switches/default --set-switch)" && \
6969 opam update \
7070 --all \
7171 --repositories \
@@ -76,17 +76,17 @@ RUN opam init --yes \
7676 --yes
7777
7878# Generating the Jupyter Kernel genspec file that will be used by Jupyter to install the OCAML Kernel
79- RUN eval $(opam env --switch=/opt/opam/switches/default --set-switch) && \
79+ RUN eval " $(opam env --switch=/opt/opam/switches/default --set-switch)" && \
8080 opam exec -- ocaml-jupyter-opam-genspec && \
81- grep topfind /home/${NB_USER}/.ocamlinit || echo '#use "topfind";;' >> /home/${NB_USER}/.ocamlinit && \
82- grep Topfind.log /home/${NB_USER}/.ocamlinit || echo 'Topfind.log:=ignore;;' >> /home/${NB_USER}/.ocamlinit
81+ grep topfind " /home/${NB_USER}/.ocamlinit" || echo '#use "topfind";;' >> " /home/${NB_USER}/.ocamlinit" && \
82+ grep Topfind.log " /home/${NB_USER}/.ocamlinit" || echo 'Topfind.log:=ignore;;' >> " /home/${NB_USER}/.ocamlinit"
8383
8484
8585# Switching back to root to install OPAM Kernel system-wide
8686USER root
8787
8888# Installing the OCAML Kernel from the genspec file generated earlier
89- RUN eval $(opam env --switch=/opt/opam/switches/default --set-switch) && \
89+ RUN eval " $(opam env --switch=/opt/opam/switches/default --set-switch)" && \
9090 jupyter kernelspec install \
9191 --sys-prefix \
9292 --name "ocaml-jupyter-default" \
0 commit comments