From 67e3541e872eef6d39449a5f564c6fe8bea89b06 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 15 Apr 2020 14:39:22 +0200
Subject: [PATCH] Add Binder configuration (currently untested)

---
 binder/apt.txt   |  1 +
 binder/postBuild | 14 ++++++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 binder/apt.txt
 create mode 100755 binder/postBuild

diff --git a/binder/apt.txt b/binder/apt.txt
new file mode 100644
index 0000000..ea5cebf
--- /dev/null
+++ b/binder/apt.txt
@@ -0,0 +1 @@
+default-jre-headless
diff --git a/binder/postBuild b/binder/postBuild
new file mode 100755
index 0000000..f3d0a61
--- /dev/null
+++ b/binder/postBuild
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -o errexit
+set -o nounset
+set -o pipefail
+set -o verbose
+
+PROB2_JUPYTER_VERSION="1.1.0"
+JAR_NAME="prob2-jupyter-kernel-${PROB2_JUPYTER_VERSION}-all.jar"
+
+wget "https://www3.hhu.de/stups/downloads/prob2-jupyter/${JAR_NAME}"
+java -jar "${JAR_NAME}" install --user
+# Remove no longer needed files to reduce size of image.
+rm "${JAR_NAME}"
-- 
GitLab