Add Binder configuration files

3ba3db2b · dgelessus · 187fc2bf · 3ba3db2b · 3ba3db2b
Commit 3ba3db2b authored 5 years ago by dgelessus
--- a/binder/apt.txt
+++ b/binder/apt.txt
+default-jre-headless
--- a/binder/postBuild
+++ b/binder/postBuild
+#!/bin/bash
+
+set -o errexit
+set -o nounset
+set -o pipefail
+
+./gradlew installKernelSpec -PkernelspecUserInstall=true