From 4139f11c667d790f5a18eab7d80601a9ae2eae60 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 15 Apr 2020 14:49:24 +0200
Subject: [PATCH] add binder config

---
 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