diff --git a/binder/apt.txt b/binder/apt.txt new file mode 100644 index 0000000000000000000000000000000000000000..ea5cebf71fef443cc6bf94d30eb083c22ab3faf9 --- /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 0000000000000000000000000000000000000000..f3d0a61f6a9ccb752ab410f124805f0b93c2b95d --- /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}"