From 3ba3db2b9d6b0c2b33f1be353534f2a26fb6b300 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 12 Feb 2020 12:35:45 +0100
Subject: [PATCH] Add Binder configuration files

---
 binder/apt.txt   | 1 +
 binder/postBuild | 7 +++++++
 2 files changed, 8 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..4bb3088
--- /dev/null
+++ b/binder/postBuild
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -o errexit
+set -o nounset
+set -o pipefail
+
+./gradlew installKernelSpec -PkernelspecUserInstall=true
-- 
GitLab