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..4bb30884c5792bf02e0a23972d004dc900c3559a --- /dev/null +++ b/binder/postBuild @@ -0,0 +1,7 @@ +#!/bin/bash + +set -o errexit +set -o nounset +set -o pipefail + +./gradlew installKernelSpec -PkernelspecUserInstall=true