From 2fea8863634f56b32cfbf619cd5f047c142f34d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Fritze?= <rene.fritze@wwu.de>
Date: Wed, 12 Jun 2019 10:35:06 +0200
Subject: [PATCH] [binder] add a Dockerfile with a repo2docker/binder setup
---
binder/Dockerfile | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
create mode 100644 binder/Dockerfile
diff --git a/binder/Dockerfile b/binder/Dockerfile
new file mode 100644
index 0000000..7dd0353
--- /dev/null
+++ b/binder/Dockerfile
@@ -0,0 +1,25 @@
+FROM dunecommunity/xt-super_debian
+MAINTAINER rene.fritze@wwu.de
+
+# binder wants to set the NB_ vars anyways, so we use it to service both setups
+ARG NB_USER
+ARG NB_UID
+ARG DXT_JUPYTER_TOKEN
+
+USER root
+
+# /home/dune-ci already exists in the base image and needs to be re-used here
+RUN useradd -d /home/dune-ci --shell /bin/bash -u ${NB_UID} -o -c "" -m ${NB_USER} && \
+ chown -R ${NB_USER} /home/dune-ci
+
+ENV JUPYTER_TOKEN=${DXT_JUPYTER_TOKEN} \
+ USER=${NB_USER} \
+ HOME=/home/dune-ci \
+ VENV=${DUNE_BUILD_DIR}/dune-common/dune-env
+
+USER ${NB_USER}
+
+ENV PATH=${VENV}/bin:${PATH}
+
+ENTRYPOINT []
+WORKDIR ${HOME}
--
GitLab