From 32917a1907d9f1c6001ad9925450dfa24563d2b8 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Wed, 29 Mar 2023 19:07:15 +0200
Subject: [PATCH] adds a binder Dockerfile.

---
 Dockerfile | 5 +++++
 build.sh   | 1 +
 2 files changed, 6 insertions(+)
 create mode 100644 Dockerfile
 create mode 100755 build.sh

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..ee97604
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,5 @@
+FROM  brunoe/jupyter-java-base:develop
+COPY . ${HOME}/notebooks
+USER root
+RUN chown -R ${NB_UID} ${HOME}
+USER ${NB_USER}
diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..3caad5a
--- /dev/null
+++ b/build.sh
@@ -0,0 +1 @@
+docker build --progress=plain -t brunoe/notebook-qs-java-base:develop .
-- 
GitLab